Added description of monad-like behavior