Added Monad Action as model of the system