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