Generics.OneLiner.Internal

type family Constraints' (t :: * -> *) (c :: * -> Constraint) :: Constraint

class ADT' t

class GenericProfunctor p

generic

type Constraints t c

type ADT t

type CtorCount t

type ADTRecord t

type ADTNonEmpty t

data For c

ctorIndex