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