ghc/tests/typecheck/should_compile/tc063.stderr

   1 __export ShouldSucceed Reps{f} X{Tag} g;
   2 instance {Reps PrelBase.Bool} = zdfRepsBool;
   3 instance __forall [q] => {Reps (X   q)} = zdfRepsX;
   4 1 class Reps r where {f :: r -> r -> r} ;
   5 1 data X a = Tag a ;
   6 1 g :: __forall [r] => {Reps r} -> r -> r ;
   7 1 zddmf :: __forall [r] => {Reps r} -> r -> r -> r ;
   8 1 zdfRepsBool :: {Reps PrelBase.Bool} ;
   9 1 zdfRepsX :: __forall [q] => {Reps (X   q)} ;