For expression like objects, whose type matches A
A
For expression like objects, but not necessarily matching the type A