ghc/tests/typecheck/should_compile/tc041.stderr

   1 __export ShouldSucceed H{op1} f;
   2 instance {H PrelBase.Bool} = zdfHBool;
   3 1 class H a where {op1 :: a -> a -> a} ;
   4 1 f :: PrelBase.Bool -> PrelBase.Int -> PrelBase.Bool ;
   5 1 zddmop1 :: __forall [a] => {H a} -> a -> a -> a ;
   6 1 zdfHBool :: {H PrelBase.Bool} ;