TcUnify
tcWrapResult
tcWrapResultO
tcSkolemise
tcSubTypeHR
tcSubType
tcSubType_NC
tcSubTypeDS
tcSubTypeDS_O
tcSubTypeDS_NC
tcSubTypeDS_NC_O
checkConstraints
buildImplication
buildImplicationFor
unifyType_
unifyType
unifyTheta
unifyKind
noThing
uType
tcInfer
matchExpectedListTy
matchExpectedPArrTy
matchExpectedTyConApp
matchExpectedAppTy
matchExpectedFunTys
matchActualFunTys
matchActualFunTysPart
matchExpectedFunKind
wrapFunResCoercion