ghc/tests/typecheck/should_compile/tc098.stderr

   1 __export ShouldSucceed Cp cpPairs m mp;
   2 1 cpPairs :: __forall [j a] => Cp  [j] -> (a, [j]) -> (a, [j]) -> PrelBase.Ordering ;
   3 1 m :: __forall [a] => {PrelBase.Eq a} -> Cp  a -> [a] -> a ;
   4 1 mp :: __forall [j i] => {PrelBase.Eq i} -> {PrelBase.Eq j} -> Cp  [j] -> [(i, [j])] -> (i, [j]) ;
   5 1 type Cp a = a -> a -> PrelBase.Ordering ;