Unify
tcMatchTy
tcMatchTys
tcMatchTyX
ruleMatchTyX
tcMatchPreds
data MatchEnv
dataConCannotMatch
tcUnifyTys
data BindFlag
niFixTvSubst
niSubstTvSet