We write a bytecode VM for arithmetic in Haskell.