Generics.OneLiner.Internal
type family Constraints' (t :: * -> *) (c :: * -> Constraint) (c1 :: (* -> *) -> Constraint) :: Constraint
type ADT'
type ADTNonEmpty'
type ADTRecord'
type ADT1'
type ADTNonEmpty1'
type ADTRecord1'
type ADTProfunctor
type NonEmptyProfunctor
type RecordProfunctor
type family Satisfies (p :: * -> * -> *) (ks :: [(* -> * -> *) -> Constraint]) :: Constraint
class ks |- k
class ADT_ nullary unary ks t
class GenericUnitProfunctor p
class GenericProductProfunctor p
class GenericSumProfunctor p
class GenericEmptyProfunctor p
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
class AnyType a
type family FunResult t where ...
class FunConstraints c t