Tweaks at the beginning and lofty closing paragraph (Chapter 1)
When is coeffect a monad (Chapter 4)