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