Improved the error reporting of EitherType