Union and intersection contracts are hard, actually

Teodoro Freund, Yann Hamdaoui, Arnaud Spiwack

Union and intersection types are a staple of gradually typed language such as TypeScript. While it's long been recognized that union and intersection types are difficult to verify…