Moved first monad combinator to new mechanism