[philosopher1234]

Where did they double down on this? They explicitly said that the design of generics was leaving the door open for sum types.