Что такое intersection type (пересечение типов)?

Intersection type записывается через оператор & и означает "и то, и другое одновременно". Если A & B, то значение должно удовлетворять обоим типам сразу. Это основной способ комбинировать несколько типов в один. В отличие от union (|), который означает "или", intersection (&) означает "и".