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