ghc/tests/typecheck/should_compile/tc092.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed e0 e1 e2 q Empty{Empty};
   3 1 data Empty q :: (* -> *) = Empty (__forall [a] {PrelBase.Ord a} => q a) ;
   4 1 e0 :: Empty PrelBase.[] ;
   5 1 e1 :: Empty PrelBase.[] ;
   6 1 e2 :: Empty PrelBase.[] ;
   7 1 q :: __forall [a] {PrelBase.Ord a} => [a] ;