Comment by sjoerd_visscher

Yes I thought the same, so I rewrote the example with the linear state monad: https://twitter.com/sjoerd_visscher/status/13598540881759641...