Implement Operational Monad