[leshow]

The type you propose can inhabit both different variants at once, the entire point of Option is that it is either something or not.