DDC.Type.Exp

Types, Kinds, and Sorts

data Type n

type Kind n

type Sort n

type Region n

type Effect n

type Closure n

data TypeSum n

data TyConHash

data TypeSumVarCon n

data TyCon n

data SoCon

data KiCon

data TwCon

data TcCon

data Binder n

data Bind n

data Bound n