Just as if your HLL assumes no type erasure then y...

# random

[zoltu]

Just as if your HLL assumes no type erasure then you'll have a hard time trying to port it to the JVM.