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

   1 Typechecked:
   2 AbsBinds [tt3] [] [(f.t1, ShouldSucc.f)]
   3     {- rec -}
   4     f.t1 :: [tt3] -> [tt3]
   5     f.t1 [] = [] (tt3)
   6     f.t1 (x.r54 : xs.r55)
   7                  = ((:) tt3) x.r54 (f.t1 xs.r55)
   8