FunDeps
data FunDepEqn loc
pprEquation
improveFromInstEnv
improveFromAnother
checkInstCoverage
checkFunDeps
pprFundeps