The Validation e a type is missing the following instances:
Eq e => Eq1 (Validation e)
Eq2 Validation
Ord e => Ord1 (Validation e)
Ord2 Validation
Show e => Show1 (Validation e)
Show2 Validation
(Read a, Read e) => Read (Validation e a)
Read e => Read1 (Validation e)
Read2 Validation
Since these are wrapped into base, they should be defined for Validation e a.