let
lambda f = fwd (
Input
.lambda (
fun
x
->
bwd (f (fwd x))))