My understanding is it doesn't matter in Haskell since it lacks reflection, they are real because you can't reflect and see they have been type erased at runtim

My understanding is it doesn't matter in Haskell since it lacks reflection, they are real because you can't reflect and see they have been type erased at runtime. In C# and Java reflection is used extensively and the generics still exist in C# when reflecting they are gone in Java.