Added monad interface.
Improved Monad interface.