Ce este tipul Either ?

Este un tip de date cu doua alternative (un fel de reuniune de doua tipuri - imaginati-va o capsula ca cea de Ampicilina in care fiecare parte ar fi umpluta cu altfel de substanta.)

Definitia formala este:

data Either r g = Left r | Right g deriving (Eq, Ord, Read, Show)

Deci capsulele Either fie ca sunt de dreapta (Right g) sau de stanga (Left r) au automat incluse (fiind generate de sistem) egalitatea, ordinea, citirile si scrierile.