My masters thesis was compiling haskell to .net and trying to coerce some kind of type safe way (my project was supporting haskell without type erasure, this was just after generics were added to .net - I actually did the ppc port of the gyro patch that added generics to the .net reference engine!). It was far from optimal - the reality is that supporting higher kinded types if the VM’s type system doesn’t is misery.

Happily, my primary language these days is C++, and it does support higher kinded types :D