https://9dok.net/document/qvlmprel-aufgabe-programmieren-auf-dem-typlevel.html