[("tests/examples/Lambda4.hs:1:1: Error: Eta reduce\nFound:\n fun x y z = f x y z\nWhy not:\n fun = f\n",[Replace {rtype = Decl, pos = SrcSpan {startLine = 1, startCol = 1, endLine = 1, endCol = 20}, subts = [("body",SrcSpan {startLine = 1, startCol = 13, endLine = 1, endCol = 14})], orig = "fun = body"}])]