Implicits in Practice (demo at ML Family Workshop 2014)