Implements Operational Monad