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

   1 Typechecked:
   2 AbsBinds [tt5] [] [(f.t1, ShouldSucceed.f)]
   3     {- nonrec -}
   4     f.t1 :: tt5 -> [tt5]
   5     f.t1 x.r54 = a.r55
   6                where
   7                    AbsBinds [] [] [(a.t4, a.r55)]
   8                        {- rec -}
   9                        a.t4 :: [tt5]
  10                        a.t4 = ((:) tt5) x.r54 a.t4
  11                    {- nonrec -}
  12