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 _declarations_
   5 1 data Pair $r3x $r3y = MkPair $r3x $r3y ;
   6 1 f _:_ _forall_ [$a :: (* -> *) $b $c] {PrelBase.Monad $a} => $a (Pair $b $c) -> $a $c ;;