Var
data Var
type CoVar
type Id
type NcId
type DictId
type DFunId
type EvVar
type EqVar
type EvId
type IpId
type JoinId
type TyVar
type TypeVar
type KindVar
type TKVar
type TyCoVar
type InVar
type InCoVar
type InId
type InTyVar
type OutVar
type OutCoVar
type OutId
type OutTyVar
Var
s apartVar
sId
sdata TyVarBndr tyvar argf
data ArgFlag
type TyVarBinder
TyVar
s apartTyVar
s