ghc/tests/typecheck/should_compile/tc092.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed e0 e1 e2 q Empty(Empty);
   4 _instances_
   5 instance _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} = $dEvalEmpty0;
   6 _declarations_
   7 1 $dEvalEmpty0 _:_ _forall_ [a :: (* -> *)] => {PrelBase.Eval (Empty a)} ;;
   8 1 data Empty q :: (* -> *) = Empty (_forall_ [a] {PrelBase.Ord a} => q a) ;
   9 1 e0 _:_ Empty PrelBase.[] ;;
  10 1 e1 _:_ Empty PrelBase.[] ;;
  11 1 e2 _:_ Empty PrelBase.[] ;;
  12 1 q _:_ _forall_ [a] {PrelBase.Ord a} => [a] ;;