worked through exercises for section 16.3
Finishing exercises from chapter 16 - monads are still hard.