Adding multiplication to the abstract machine.
Adding Monad instanciation
monad []