EITHER

either is a representation for sum types or disjunction.

Constructors

Eliminators

Induction Principle