Generics.SOP
class Generic a
type Rep a
data NP
data NS
data SOP f xss
data POP f xss
data DatatypeInfo
data ConstructorInfo
data FieldInfo
class HasDatatypeInfo a
type DatatypeName
type ModuleName
type ConstructorName
type FieldName
data Associativity
type Fixity
class HPure h
data (f -.-> g) a
type family Prod h :: (k -> *) -> l -> *
class HAp h
type Injection f xs
All cdata AllDict c xs
type family CollapseTo h :: * -> *
class HCollapse h
class HSequence h
data K a b
data I a
data (f :.: g) p
type family All c xs :: Constraint
type family All2 c xs :: Constraint
type family Map f xs :: [l]
type family AllMap h c xs :: Constraint
data family Sing a
class SingI a
data Shape
data Proxy t