https://9dok.net/document/qvl6n2kg-mehrpässige-compilation-mit-nalen-coalgebren.html