type Either = ?? either :: ??
Either
In many places in the documentation we write a+b as an abbreviation of Either a b.
a+b
Either a b