FunDeps

data FDEq

data Equation

pprEquation

oclose

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkFunDeps

pprFundeps