added proto-monad