https://9dok.net/document/q05vp51l-propositions-as-types.html