https://123dok.org/document/ky6lwm7y-polymorphic-functions-set-theoretic-types-syntax-semantics-evaluation.html