lambdaをコア機能とするのは無理があると思う
例えばletはlambdaのシンタックスシュガーにならない
○ let i x = x in (i 0, i "A")
× (\ i -> (i 0, i "A")) (\ x -> x)

むしろlambdaを使わないpointfreeがコアだ