Update 2014-12-11-implicit-params.lhs