Added monad syntax definition.