Implicits in Practice (demo at ML Family Workshop 2014) - View it on GitHub