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