"Type-Checking in the VM" means support for runtime type-checks, which can take several forms. In Haskell, all that type-checking is happening only in the earl

"Type-Checking in the VM" means support for runtime type-checks, which can take several forms. In Haskell, all that type-checking is happening only in the early stages of the compiler -- and then the types are erased in the later stages.