Documentation: Intersection types

[ShalokShalom]

I see no mention of intersection types in the documentation, is
this one the only reference?

I would love to learn about them?

[samth]

case-> is also a form of intersection types. Also the second link is to the documentation; do you mean you would like to see more discussion in the guide?

[ShalokShalom]

Thanks.

Well, I would like to see some practical examples. Similar to those in the first link.

Also, by just looking at the first link, one can believe there are no intersection types available