Unify

tcMatchTy

tcMatchTys

tcMatchTyX

ruleMatchTyX

tcMatchPreds

data MatchEnv

matchList

typesCantMatch

tcUnifyTys

data BindFlag

niFixTvSubst

niSubstTvSet