Feldspar.Core.Constructs.Binding

optimizeLambda

optimizeFunction

prjLambda

betaReduce

cLambda