It does that! There are no GC pauses on HVM's model. Compiling Haskell to it would be neat.