Problems for Chapter 13 - Some Useful Monadic Functions