Philip Wadler: Writing - Original Draft,  Writing - Review & Editing, Software,
Wen Kokke: Writing - Review & Editing, Software,
Jereemy Siek: Writing - Review & Editing, Software,