ghc/tests/typecheck/should_compile/tc098.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 __export ShouldSucceed Cp cpPairs m mp;
   3 1 cpPairs :: __forall [j a] => Cp [j] -> (a, [j]) -> (a, [j]) -> PrelBase.Ordering ;
   4 1 m :: __forall [a] => {PrelBase.Eq a} -> Cp a -> [a] -> a ;
   5 1 mp :: __forall [j i] => {PrelBase.Eq i} -> {PrelBase.Eq j} -> Cp [j] -> [(i, [j])] -> (i, [j]) ;
   6 1 type Cp a = a -> a -> PrelBase.Ordering ;