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