let
to_unit j = j