Slides for the "Using static typing features for fun and profit" talk at Lambda Munich, 6. Aug 2013 - View it on GitHub