It looks like you're new here. If you want to get involved, click one of these buttons!
Here's a place to discuss Chapter 4.
Chapter 4 is largely about profunctors. I just ran into a nice explanation of how profunctors show up in Haskell:
We've also got some threads going where you can discuss exercises in Chapter 4: