https://9dok.net/document/yd75xrxg-praktische-informatik-funktionale-programmierung-vorlesung-signaturen-eigenschaften.html