Unify
tcMatchTy
tcMatchTys
tcMatchTyX
ruleMatchTyX
tcMatchPreds
data MatchEnv
matchList
typesCantMatch
tcUnifyTy
tcUnifyTys
data BindFlag
data UnifyResultM a
type UnifyResult
tcUnifyTysFG