An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf - View it on GitHub