FunDeps

data FDEq

data Equation loc

pprEquation

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkFunDeps

pprFundeps