It's slightly debatable whether these count as "exactly the same type" since they end up as attributes with different types, but I agree that they are close enough that it makes sense here.