Exercises for chapter 12
Removing monad laws line until I can be sure this obeys the laws