I’ve posted a couple of possible use cases at Any thoughts on Ceylon-style union and intersection types? - #16 by Ladicek. I’d be interested to hear if they can be achieved in some othe way with the existing language (or with other future language changes).
Keep up the good work 