ghc/tests/typecheck/should_compile/tc063.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed g Reps{f} X{Tag};
   3 instance {Reps PrelBase.Bool} = _fRepsBool;
   4 instance __forall [q] => {Reps (X q)} = _fRepsX;
   5 1 _fRepsBool :: {Reps PrelBase.Bool} ;
   6 1 _fRepsX :: __forall [q] => {Reps (X q)} ;
   7 1 class Reps r where {f :: r -> r -> r} ;
   8 1 data X a = Tag a ;
   9 1 g :: __forall [r] {Reps r} => r -> r ;