Slides from my talk at flatMap(Oslo) 2016 on fixing SI-2712. - View it on GitHub