JVM still has some limitations. https://stackoverflow.com/a/2682962/31667 Those actually influence either the design or the performance of the higher level language.
Yes it is - that doesn't make it wrong. The type erasure is still a JVM limitation.
The same way is it for Haskell?
The answer is 6 years old if we count the last modification time.
And the last modification was only wording, with the same 13 years old content. [0]
Always check what changed in SO posts, because this practice is very common.