Implementation of a monad (Side - effect free), no write allowed directly on the monads value state
Optional
Implementation of a monad (Side - effect free), no write allowed directly on the monads value state