Curry.FlatCurry.Annotated.Typing
class
Typeable
a