https://9dok.net/document/q7wkxw5k-typ-basiertes-programmieren-und-schließen-in-funktionalen-sprachen.html