typedmorphism valid instance