To coda that part in a side effect way is a critical part of this approach. It's easy to implement in Haskell where these are handled with trust or you need to

To coda that part in a side effect way is a critical part of this approach. It's easy to implement in Haskell where these are handled with trust or you need to do the hard work.