TcUnify
tcSubExp
tcGen
checkSigTyVars
checkSigTyVarsWrt
bleatEscapedTvs
sigCtxt
unifyType
unifyTypeList
unifyTheta
unifyKind
unifyKinds
unifyFunKind
preSubType
boxyMatchTypes
tcInfer
subFunTys
unBox
refineBox
refineBoxToTau
withBox
boxyUnify
boxyUnifyList
zapToMonotype
boxySplitListTy
boxySplitPArrTy
boxySplitTyConApp
boxySplitAppTy
wrapFunResCoercion