References. Compare with Update Monads, Cointerpreting Directed Containers (Ahman, Uustalu, 2013). Tags: update monad.
