FunDeps

data FDEq

data Equation

pprEquation

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkInstLiberalCoverage

checkFunDeps

growThetaTyVars

pprFundeps