ghc/tests/typecheck/should_compile/tc043.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed f A(:A :A op1) B(:B :B op2);
   4 _instances_
   5 instance {A PrelBase.Int} = $dAInt0;
   6 instance _forall_ [a] {B a} => {B [a]} = $dB0;
   7 _declarations_
   8 1 $dAInt0 _:_ {A PrelBase.Int} ;;
   9 1 $dB0 _:_ _forall_ [a] {B a} => {B [a]} ;;
  10 1 class A a where {op1 :: a} ;
  11 1 class B b where {op2 :: b -> PrelBase.Int} ;
  12 1 f _:_ _forall_ [a b] {A b} => a -> b ;;