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

   1 Typechecked:
   2 AbsBinds [ot6, ot7] [] [(x.t2, ShouldSucceed.x), (y.t3, ShouldSucceed.y)]
   3     {- nonrec -}
   4     (x.t2, y.t3) :: (ot6 -> ot6, ot7 -> ot7)
   5     (x.t2, y.t3)
   6         = (\ p.r55 -> p.r55,
   7            \ q.r56 -> q.r56)
   8