https://123dok.net/document/q5m36eor-old-new-results-probabilistic-intersection-type-systems.html