isomorphism between annotated types and types where wft is incorporated