Either

data Either a b
  = Left a
  | Right b