ghc: module version changed to 1; reason: no old .hi file __export ShouldSucceed f Eq2{foo deq}; instance {Eq2 PrelBase.Int} = _fEq2Int; instance __forall [a] {Eq2 a} => {Eq2 [a]} = _gEq2_91_93; 1 _fEq2Int :: {Eq2 PrelBase.Int} ; 1 _gEq2_91_93 :: __forall [a] {Eq2 a} => {Eq2 [a]} ; 1 class Eq2 a where {foo :: a -> a; deq :: a -> a -> PrelBase.Bool} ; 1 f :: __forall [t] {PrelBase.Num t, Eq2 [t]} => [t] -> PrelBase.Bool ;