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.
The
Validation e atype is missing the following instances:Eq e => Eq1 (Validation e)Eq2 ValidationOrd e => Ord1 (Validation e)Ord2 ValidationShow e => Show1 (Validation e)Show2 Validation(Read a, Read e) => Read (Validation e a)Read e => Read1 (Validation e)Read2 ValidationSince these are wrapped into
base, they should be defined forValidation e a.