Slides from my presentation on shapeless type class derivation - View it on GitHub