Code demonstration of Derivables from my talk - View it on GitHub