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