[kriiuuu]

Haskell also has type erasure. It’s an implementation detail, or are you saying that Haskell does not have proper generics?

[HideousKojima]

I don't know the specifics of Haskell's implementation but if it's mostly the same as Java's then yeah?