ghc/tests/typecheck/should_compile/tc062.stderr

   1 __export ShouldSucceed Eq1{deq} f;
   2 instance {Eq1 PrelBase.Int} = zdfEq1Int;
   3 instance __forall [a] => {Eq1 a} -> {Eq1 [a]} = zdfEq1ZMZN;
   4 1 class Eq1 a where {deq :: a -> a -> PrelBase.Bool} ;
   5 1 f :: __forall [t] => {Eq1 [t]} -> [t] -> [t] -> PrelBase.Bool ;
   6 1 zddmdeq :: __forall [a] => {Eq1 a} -> a -> a -> PrelBase.Bool ;
   7 1 zdfEq1Int :: {Eq1 PrelBase.Int} ;
   8 1 zdfEq1ZMZN :: __forall [a] => {Eq1 a} -> {Eq1 [a]} ;