ghc/tests/typecheck/should_compile/tc092.stderr

   1 __export ShouldSucceed Empty{Empty} e0 e1 e2 q;
   2 1 data Empty q :: (* -> *) = Empty (__forall [a] => {PrelBase.Ord a} -> q a) ;
   3 1 e0 :: Empty PrelBase.ZMZN ;
   4 1 e1 :: Empty PrelBase.ZMZN ;
   5 1 e2 :: Empty PrelBase.ZMZN ;
   6 1 q :: __forall [a] => {PrelBase.Ord a} -> [a] ;