See the FIXME in `core::par::map_slices`. I confirmed that you still can't omit the ty param. This should be inferable.