What is this type called? type Foo = A & B;

Intersection Remember: It is a value that is simultaneously of type A and B