let to_unit j = j