tc056.hs:15: Warning:
    Duplicated class assertion `Eq' a' in the context: (Eq' a, Eq' a)

ghc: module version changed to 1; reason: no old .hi file
_exports_
ShouldSucceed f Eq'(:Eq' :Eq' doubleeq) Ord'(:Ord' :Ord' lt);
_instances_
instance _forall_ [a] {Eq' a, Eq' a} => {Eq' [a]} = $dEq'0;
instance {Eq' PrelBase.Int} = $dEq'Int0;
_declarations_
1 $dEq'0 _:_ _forall_ [a] {Eq' a, Eq' a} => {Eq' [a]} ;;
1 $dEq'Int0 _:_ {Eq' PrelBase.Int} ;;
1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;
1 f _:_ _forall_ [a b] {Eq' [b], PrelBase.Num b} => [b] -> a -> PrelBase.Bool ;;