On Thu, 22 Aug 2019, Jonathan S wrote: > Even simpler, Freezer could just be a Monad denoting arbitrary "cleanup" > actions, as long as they don't involve writes. This was actually my first idea and I thought this would not be safe. But now I think you are right and this is both safe and more flexible.