Because, while Either () a is isomorphic to Maybe a, it can be rather less convenient to have to track that Left (). We can easily define a type that doesn't need the extra work; why not use it? Especially when that particular case turns out to be very common.

The fact that you *can* build up a standard library from first principles every time you write a program does not mean that you *should*.