ghc/tests/typecheck/should_compile/tc079.stderr

   1 __export ShouldSucceed Foo{op1 op2};
   2 instance {Foo PrelBase.Int} = zdfFooInt;
   3 instance __forall [a] => {Foo a} -> {Foo [a]} = zdfFooZMZN;
   4 1 class Foo a where {op1 = :: a -> PrelBase.Bool; op2 = :: __forall [b] => {PrelBase.Ord b} -> a -> b -> b -> b} ;
   5 1 zddmop1 :: __forall [a] => {Foo a} -> a -> PrelBase.Bool ;
   6 1 zddmop2 :: __forall [a] => {Foo a} -> (__forall [b] => {PrelBase.Ord b} -> a -> b -> b -> b) ;
   7 1 zdfFooInt :: {Foo PrelBase.Int} ;
   8 1 zdfFooZMZN :: __forall [a] => {Foo a} -> {Foo [a]} ;