purescript-these Data type isomorphic to α ∨ β ∨ (α ∧ β) Installation bower install purescript-these Documentation Module documentation is published on Pursuit.