ghc/tests/typecheck/should_compile/tc077.stderr

   1 __export ShouldSucceed EQ{zezeze} NUM{ONE TWO} ORD;
   2 1 class {ORD a, PrelShow.Show a}  => EQ a where {zezeze :: a -> a -> PrelBase.Bool} ;
   3 1 class {PrelNum.Num a}  => ORD a ;
   4 1 data NUM = ONE |  TWO ;
   5 1 zddmzezeze :: __forall [a] => {EQ a} -> a -> a -> PrelBase.Bool ;