let pair_first x = fwd (Input.pair_first (bwd x))