Data.Binding.Hobbits.Examples.LambdaLifting
Term data types, using
Mb
The lambda-lifting function
lambdaLift
mbLambdaLift