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

   1 Typechecked:
   2 AbsBinds [tt5, tt6, ot2] [] [(u.t1, ShouldSucceed.u)]
   3     {- nonrec -}
   4     u.t1 :: ot2 -> (tt5, tt6) -> ot2
   5     u.t1 x.r54 = \ (y.r55, z.r56)
   6                            -> x.r54
   7