data Either a b = Left a | Right b
> :kind Either
Either :: * -> * -> *