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