GADTs gone mild
PDF
Supporting code

Linear types, Quésaco?!
Slides