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

   1 Typechecked:
   2 d.Num.t9 = dfun.Num.Integer
   3 fromInt.t8 = fromInt tt6 d.Num.t9
   4 lit.t7 = fromInt.t8 (MkInt 1#)
   5 AbsBinds [] [] [(r.t2, ShouldSucceed.r), (s.t3, ShouldSucceed.s)]
   6     {- nonrec -}
   7     (r.t2, s.t3) :: (tt6, Char)
   8     (r.t2, s.t3) = (lit.t7, 'a')
   9