Notes on the Derivatives of Regular Types (2014)(FP) [pdf]