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 UAddr
type UChar
type UDouble
type UFloat
type UInt
type UWord
type Rec0
data R
type D1
type C1
type S1
data D
data C
data S
class Datatype d
class Constructor c
class Selector s
data Fixity
data FixityI
data Associativity
data SourceUnpackedness
data SourceStrictness
data DecidedStrictness
data Meta
class Generic a
class Generic1 f