K1
M1
V1
U1
Generic1
class* -> *
typesdata V1 p
data U1 p
data Par1 p
data Rec1 f p
data K1 i c p
data M1 i c f p
data (f :+: g) p
data (f :*: g) p
data (f :.: g) p
type Rec0
type Par0
data R
data P
type D1
type C1
type S1
data D
data C
data S
class Datatype d
class Constructor c
class Selector s
data NoSelector
data Fixity
data Associativity
data Arity
class Generic a
class Generic1 f