+ : ∧[ Int ×Int → Int, Real ×Real → Real]
Int → Int \leqslant ∧[ Int → Int, Real → Real ]
Msg → Obj1 ∧Msg → Obj2 \leqslant Msg → ∧[ Obj1, Obj2 ]
slide
:
Intersection types -- examples