Paper on the hardness of implemening contracts for union (and intersection) types - View it on GitHub