HOLCF-Prelude by Joachim Breitner 📧, Brian Huffman, Neil Mitchell and Christian Sternagel 📧 Jul 15