This would be my preference. I like `Either`or some other container type, but a simple union that makes exceptions explicit works also.