A monad which is powerful enough to interpret any action - View it on GitHub