References. Update Monads, Cointerpreting Directed Containers (Ahman, Uustalu, 2013) (https://danel.ahman.ee/papers/types13postproc.pdf) Tags: state monad, reader monad, writer monad.
