Added monad map/flatbind/bind.