Why do you need Either when you have union? All the left types subclass Error so you can easily separate that from the successful value as well. Seems rather a

Why do you need Either when you have union? All the left types subclass Error so you can easily separate that from the successful value as well. Seems rather a dogmatic choice.