https://9dok.net/document/qo5vp5k5-allgemeine-rekursion-im-polymorphen-lambda-kalkül.html