typeCheckInstanceIsFundamentallyA