https://9dok.net/document/y96j3wgd-praktische-informatik-einführung-funktionale-programmierung-vorlesung-typvariablen-polymorphie.html