They don't need it here, since the construction of an Intersection enforces this without needing to specify the type multiple times