Refine `Enum.concat` specs (#15554)