[_v7gu]

I think the distinction will hold when you can access type information at runtime

[ragnese]

Why? Haskell doesn't even have runtime type information. So what would you call the stuff that runs after I compile my Haskell code? Not-Haskell?