Hint.Lambda

lambdaHint

lambdaDecl

etaReduce

lambdaExp

fromLambda