TcUnify
tcWrapResult
tcWrapResultO
tcSkolemise
tcSkolemiseET
tcSubTypeHR
tcSubType
tcSubTypeO
tcSubType_NC
tcSubTypeDS
tcSubTypeDS_O
tcSubTypeDS_NC
tcSubTypeDS_NC_O
tcSubTypeET
tcSubTypeET_NC
checkConstraints
buildImplicationFor
unifyType_
unifyType
unifyTheta
unifyKind
noThing
uType
unifyExpType
swapOverTyVars
canSolveByUnification
tcInfer
matchExpectedListTy
matchExpectedPArrTy
matchExpectedTyConApp
matchExpectedAppTy
matchExpectedFunTys
matchActualFunTys
matchActualFunTysPart
matchExpectedFunKind
wrapFunResCoercion