Author here. I answered this and other questions in discussions on Reddit: https://www.reddit.com/r/haskell/comments/8ye1h0/explaining_...