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