Exercises in the FuncProg book