Intersection types internalize the idea that a term has two types.\xa0 Curry-style typing is generally needed for this to be nontrivial.