Generics.Instant.Base

data Z

data U

data a :+: b

data a :*: b

data CEq c p q a

type C c a

data Var a

data Rec a

class Constructor c

data Fixity

data Associativity

class Representable a

type family X c n a :: k2

data Nat