Generics.SOP.Universe
type Rep a
class Generic a
class HasDatatypeInfo a
type IsProductType a xs
type IsEnumType a
type IsWrappedType a x
type IsNewtype a x