Slides from my talk at Functional Progammers Paris - Take 1.