Hi! It’s me again with another bit of feedback 
.
The following diagram helps visualize how Haskell evaluates the chain of thunks that would be stored in the IORef object. I find the diagram a bit difficult to follow because the top-level thunk is the shape in the bottom right corner. As a left-to-right/top-to-bottom reader, I think that this diagram would be easier to understand if the “call to counter” shape is place in the top-left corner.
