let
to_unit x = x