https://9dok.net/document/yevk7lm0-mehrp-assige-compilation-mit-finalen-coalgebren.html