let
pair a b = fwd (
Input
.pair (bwd a) (bwd b))