ghc/tests/typecheck/should_compile/tc037.stderr

   1 __export ShouldSucceed Eqzq{deq};
   2 instance __forall [a] => {Eqzq a} -> {Eqzq [a]} = zdfEqzqZMZN;
   3 1 class Eqzq a where {deq :: a -> a -> PrelBase.Bool} ;
   4 1 zddmdeq :: __forall [a] => {Eqzq a} -> a -> a -> PrelBase.Bool ;
   5 1 zdfEqzqZMZN :: __forall [a] => {Eqzq a} -> {Eqzq [a]} ;