FunDeps
data FDEq
data Equation
pprEquation
improveFromInstEnv
improveFromAnother
checkInstCoverage
checkInstLiberalCoverage
checkFunDeps
growThetaTyVars
pprFundeps