Slides from my talk "Typelevel in 2016" at Scala By the Bay - View it on GitHub