One more time! SOFP Chapter 14: Laws of Monad Transformers

Let's try to do what we were planning to do with the last meeting (before we got hijacked by our effect handler discussion), and pick with Section 14.2 (laws of monad transformers) of The Science of Functional Programming (https://www.dropbox.com/scl/fi/v6st93ahgp44pehqeyl1i/sofp-draft-2023-09-30.pdf?rlkey=3cplruvoer9ecns9ne66hpzfw&dl=0).

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.