Either represents values which are either of type L (Left) or type R (Right).
L
R
Left(v:L)
Right(v:R)