Introduced `Intersection` type