Generics.OneLiner.Internal
type family Constraints' (t :: * -> *) (c :: * -> Constraint) :: Constraint
class ADT' t
class ADTNonEmpty' t
class ADTRecord' t
type family Constraints1' (t :: * -> *) (c :: (* -> *) -> Constraint) :: Constraint
class ADT1' t
class ADTNonEmpty1' t
class ADTRecord1' t
class GenericRecordProfunctor p
class GenericNonEmptyProfunctor p
class GenericProfunctor p
data Ctor a b
type Constraints t c
type Constraints1 t c
type ADTRecord t
type ADTRecord1 t
type ADTNonEmpty t
type ADTNonEmpty1 t
type ADT t
type ADT1 t
data For c
class AnyType a