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