starting chapter 10
renaming file
exer 10.9 - writing a MONAD!
Doing exercises in section exer 10.12

Not sure if the last one is the answer intended - will check solutions.
Improving my answer after seeing solution.