Data type isomorphic to α ∨ β ∨ (α ∧ β) - View it on GitHub