Documentation
class PolyTypeable a whereSource
polyTypeOf :: a -> TypeRepSource
(Analyze a result, MyTypeable' HNil gout result) => PolyTypeable a |
class PolyTypeable a whereSource
polyTypeOf :: a -> TypeRepSource
(Analyze a result, MyTypeable' HNil gout result) => PolyTypeable a |