交差型
https://en.wikipedia.org/wiki/Intersection_type
TypeScriptの型
より制限の強いものが
篩型
https://dl.acm.org/doi/10.1145/3110285