Michael Hanus, Kai-Oliver Prott, Finn Teegen: A Monadic Implementation of Functional Logic Programs. PPDP 2022: 1:1-1:15