The concatenation of two length-15 strings produce a length-30 string, which can’t be represented by a String15. To ensure type-stability, the result of concatenating String15s must not depend on their length.
3 Likes