Code for the CodeCraft Algebraic Datatypes talk