[Graeme] Chapter 12, more implicits