data Either A B = Left A | Right B;