Testing makeInstanceMemberType
Testing makeInstanceMemberType
makeInstanceMemberType check instance matches