Language.Lambda.Eval

evalExpr

betaReduce

alphaConvert

sub

freeVarsOf