[Graeme] Chapter 12, implicit conversions with implicit parameters