Curry.FlatCurry.Annotated.Typing

class Typeable a