ghc/tests/typecheck/should_compile/tc086.stderr

   1 __export ShouldSucceed Group Ring;
   2 1 class Group a where {compare :: a -> a -> PrelBase.Ordering; fromInteger :: PrelNum.Integer -> a; zp :: a -> a -> a; zm :: a -> a -> a; zzero = :: a; one = :: a} ;
   3 1 class {Group a}  => Ring a where {zt = :: a -> a -> a} ;
   4 1 zddmcompare :: __forall [a] => {Group a} -> a -> a -> PrelBase.Ordering ;
   5 1 zddmfromInteger :: __forall [a] => {Group a} -> PrelNum.Integer -> a ;
   6 1 zddmone :: __forall [a] => {Group a} -> a ;
   7 1 zddmzm :: __forall [a] => {Group a} -> a -> a -> a ;
   8 1 zddmzp :: __forall [a] => {Group a} -> a -> a -> a ;
   9 1 zddmzt :: __forall [a] => {Ring a} -> a -> a -> a ;
  10 1 zddmzzero :: __forall [a] => {Group a} -> a ;