I just spent some time implementing a lazy VM: Note also the push/enter VS eval/apply implementation change in GHC described in [1].

[1] https://www.microsoft.com/en-us/research/publication/make-fa...