FunDeps

data FDEq

data Equation

pprEquation

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkFunDeps

growThetaTyVars

pprFundeps