https://9dok.net/document/q7w439wk-prototypische-validierung-parametrischen-polymorphen-typsystems-ur-kernsprache-haskell.html