ghc/compiler/tests/typecheck/should_succeed/tc066.stderr

   1 Typechecked:
   2 AbsBinds [a.t5, b.t6] [] [(f.t1, ShouldSucceed.f)]
   3     {- nonrec -}
   4     f.t1 :: [ShouldSucceed.Pair a.t5 b.t6] -> [b.t6]
   5     f.t1 x.r58 = [ a.r59 | (ShouldSucceed.MkPair c.r60 a.r59) <- x.r58 ]
   6