ExternalCore
data Module
data Tdef
data Cdef
data Vdefg
type Vdef
data Exp
data Bind
data Alt
type Vbind
type Tbind
data Ty
data Coercion
data Role
data LeftOrRight
data Kind
data Lit
type Mname
type Var
type Tvar
type Tcon
type Dcon
type Qual t
type Id
primMname
tcArrow