ghc/tests/typecheck/should_compile/tc066.stderr

   1 ghc: module version changed to 1; reason: no old .hi file
   2 _exports_
   3 ShouldSucceed f Pair(MkPair);
   4 _instances_
   5 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $dEvalPair0;
   6 _declarations_
   7 1 $dEvalPair0 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
   8 1 data Pair a b = MkPair a b ;
   9 1 f _:_ _forall_ [a b c :: (* -> *)] {PrelBase.Monad c} => c (Pair a b) -> c b ;;