ghc/tests/typecheck/should_compile/tc068.stderr

   1 __export ShouldSucceed B{X Y} T{D C};
   2 instance __forall [b] => {PrelBase.Eq b} -> {PrelBase.Eq (B   b)} = zdfEqB;
   3 instance __forall [a] => {PrelBase.Eq a} -> {PrelBase.Eq (T   a)} = zdfEqT;
   4 1 data B b = X |  Y b ;
   5 1 data T a = D (B   a) |  C ;
   6 1 zdfEqB :: __forall [b] => {PrelBase.Eq b} -> {PrelBase.Eq (B   b)} ;
   7 1 zdfEqT :: __forall [a] => {PrelBase.Eq a} -> {PrelBase.Eq (T   a)} ;