Examples


slide: Intersection types -- examples