Report question

Question: How to define "type disjunction" (union types)?