(data (Either a b)
  (Left a)
  (Right b))