26 Aug
2019
26 Aug
'19
9:19 a.m.
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.