Introduction to Type-Level Programming in Scala

good video, but vimeo is utter crap.<p>Tiny video, neither signup nor HTML5 player work with the newest Chromium on Ubuntu ...