POPL_Tutorial_Combinators_(karl).elf