Comment by tomjakubowski

What does it mean for None|T to be disjoint?