TcEvidence
data HsWrapper
(<.>)
mkWpTyApps
mkWpEvApps
mkWpEvVarApps
mkWpTyLams
mkWpLams
mkWpLet
idHsWrapper
isIdHsWrapper
pprHsWrapper
data TcEvBinds
data EvBindsVar
data EvBindMap
emptyEvBindMap
extendEvBinds
lookupEvBind
evBindMapBinds
data EvBind
emptyTcEvBinds
isEmptyTcEvBinds
data EvTerm
mkEvCast
evVarsOfTerm
mkEvKindCast
data EvLit
evTermCoercion
data TcCoercion
mkTcReflCo
mkTcTyConAppCo
mkTcAppCo
mkTcAppCos
mkTcFunCo
mkTcAxInstCo
mkTcForAllCo
mkTcForAllCos
mkTcSymCo
mkTcTransCo
mkTcNthCo
mkTcInstCos
tcCoercionKind
coVarsOfTcCo
isEqVar
mkTcCoVarCo
isTcReflCo
isTcReflCo_maybe
getTcCoVar_maybe
liftTcCoSubstWith