Exercises for "Complexity and Reasoning in Functional Programming" at LambdaConf 2014