Add heap + monad stack