---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: false,
 },
 definition: LetIn {
  bindings: [
   Inherit {
    from: Some(
     Variable {
      identifier: "lib",
      position: (17, 12),
     },
    ),
    attributes: [
     Raw {
      content: "isInt",
      position: (18, 5),
     },
     Raw {
      content: "attrNames",
      position: (19, 5),
     },
     Raw {
      content: "isList",
      position: (20, 5),
     },
     Raw {
      content: "isAttrs",
      position: (21, 5),
     },
     Raw {
      content: "substring",
      position: (22, 5),
     },
     Raw {
      content: "addErrorContext",
      position: (23, 5),
     },
     Raw {
      content: "attrValues",
      position: (24, 5),
     },
     Raw {
      content: "concatLists",
      position: (25, 5),
     },
     Raw {
      content: "concatStringsSep",
      position: (26, 5),
     },
     Raw {
      content: "const",
      position: (27, 5),
     },
     Raw {
      content: "elem",
      position: (28, 5),
     },
     Raw {
      content: "generators",
      position: (29, 5),
     },
     Raw {
      content: "head",
      position: (30, 5),
     },
     Raw {
      content: "id",
      position: (31, 5),
     },
     Raw {
      content: "isDerivation",
      position: (32, 5),
     },
     Raw {
      content: "isFunction",
      position: (33, 5),
     },
     Raw {
      content: "mapAttrs",
      position: (34, 5),
     },
     Raw {
      content: "trace",
      position: (35, 5),
     },
    ],
   },
  ],
  target: Map {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceIf",
        position: (51, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "pred",
      },
      definition: Function {
       argument: Simple {
        identifier: "msg",
       },
       definition: Function {
        argument: Simple {
         identifier: "x",
        },
        definition: IfThenElse {
         predicate: Variable {
          identifier: "pred",
          position: (57, 11),
         },
         then: FunctionApplication {
          function: Variable {
           identifier: "trace",
           position: (57, 21),
          },
          arguments: [
           Variable {
            identifier: "msg",
            position: (57, 27),
           },
           Variable {
            identifier: "x",
            position: (57, 31),
           },
          ],
         },
         else_: Variable {
          identifier: "x",
          position: (57, 38),
         },
         position: (57, 8),
        },
        position: (57, 5),
       },
       position: (55, 5),
      },
      position: (53, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValFn",
        position: (69, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "f",
      },
      definition: Function {
       argument: Simple {
        identifier: "x",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "trace",
         position: (73, 8),
        },
        arguments: [
         Parentheses {
          expression: FunctionApplication {
           function: Variable {
            identifier: "f",
            position: (73, 15),
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (73, 17),
            },
           ],
          },
          position: (73, 14),
         },
         Variable {
          identifier: "x",
          position: (73, 20),
         },
        ],
       },
       position: (73, 5),
      },
      position: (71, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceVal",
        position: (84, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: Variable {
       identifier: "traceValFn",
       position: (84, 14),
      },
      arguments: [
       Variable {
        identifier: "id",
        position: (84, 25),
       },
      ],
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceSeq",
        position: (98, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "x",
      },
      definition: Function {
       argument: Simple {
        identifier: "y",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "trace",
         position: (102, 8),
        },
        arguments: [
         Parentheses {
          expression: FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "builtins",
             position: (102, 15),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "deepSeq",
               position: (102, 24),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Variable {
             identifier: "x",
             position: (102, 32),
            },
            Variable {
             identifier: "x",
             position: (102, 34),
            },
           ],
          },
          position: (102, 14),
         },
         Variable {
          identifier: "y",
          position: (102, 37),
         },
        ],
       },
       position: (102, 5),
      },
      position: (100, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceSeqN",
        position: (113, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "depth",
      },
      definition: Function {
       argument: Simple {
        identifier: "x",
       },
       definition: Function {
        argument: Simple {
         identifier: "y",
        },
        definition: LetIn {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "snip",
              position: (114, 9),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "v",
            },
            definition: IfThenElse {
             predicate: FunctionApplication {
              function: Variable {
               identifier: "isList",
               position: (114, 27),
              },
              arguments: [
               Variable {
                identifier: "v",
                position: (114, 35),
               },
              ],
             },
             then: FunctionApplication {
              function: Variable {
               identifier: "noQuotes",
               position: (114, 42),
              },
              arguments: [
               String {
                parts: [
                 Raw {
                  content: "[…]",
                  position: (114, 52),
                 },
                ],
                position: (114, 51),
               },
               Variable {
                identifier: "v",
                position: (114, 57),
               },
              ],
             },
             else_: IfThenElse {
              predicate: FunctionApplication {
               function: Variable {
                identifier: "isAttrs",
                position: (115, 27),
               },
               arguments: [
                Variable {
                 identifier: "v",
                 position: (115, 35),
                },
               ],
              },
              then: FunctionApplication {
               function: Variable {
                identifier: "noQuotes",
                position: (115, 42),
               },
               arguments: [
                String {
                 parts: [
                  Raw {
                   content: "{…}",
                   position: (115, 52),
                  },
                 ],
                 position: (115, 51),
                },
                Variable {
                 identifier: "v",
                 position: (115, 57),
                },
               ],
              },
              else_: Variable {
               identifier: "v",
               position: (116, 24),
              },
              position: (115, 24),
             },
             position: (114, 19),
            },
            position: (114, 16),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "noQuotes",
              position: (117, 9),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "str",
            },
            definition: Function {
             argument: Simple {
              identifier: "v",
             },
             definition: Map {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "__pretty",
                   position: (117, 30),
                  },
                 ],
                },
                to: FunctionApplication {
                 function: Variable {
                  identifier: "const",
                  position: (117, 41),
                 },
                 arguments: [
                  Variable {
                   identifier: "str",
                   position: (117, 47),
                  },
                 ],
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "val",
                   position: (117, 52),
                  },
                 ],
                },
                to: Variable {
                 identifier: "v",
                 position: (117, 58),
                },
               },
              ],
              recursive: false,
              position: (117, 28),
             },
             position: (117, 25),
            },
            position: (117, 20),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "modify",
              position: (118, 9),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "n",
            },
            definition: Function {
             argument: Simple {
              identifier: "fn",
             },
             definition: Function {
              argument: Simple {
               identifier: "v",
              },
              definition: IfThenElse {
               predicate: Parentheses {
                expression: BinaryOperation {
                 operator: EqualTo,
                 operands: [
                  Variable {
                   identifier: "n",
                   position: (118, 32),
                  },
                  Int {
                   value: 0,
                   position: (118, 37),
                  },
                 ],
                 position: (118, 34),
                },
                position: (118, 31),
               },
               then: FunctionApplication {
                function: Variable {
                 identifier: "fn",
                 position: (118, 45),
                },
                arguments: [
                 Variable {
                  identifier: "v",
                  position: (118, 48),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: FunctionApplication {
                 function: Variable {
                  identifier: "isList",
                  position: (119, 31),
                 },
                 arguments: [
                  Variable {
                   identifier: "v",
                   position: (119, 39),
                  },
                 ],
                },
                then: FunctionApplication {
                 function: Variable {
                  identifier: "map",
                  position: (119, 46),
                 },
                 arguments: [
                  Parentheses {
                   expression: FunctionApplication {
                    function: Variable {
                     identifier: "modify",
                     position: (119, 51),
                    },
                    arguments: [
                     Parentheses {
                      expression: BinaryOperation {
                       operator: Subtraction,
                       operands: [
                        Variable {
                         identifier: "n",
                         position: (119, 59),
                        },
                        Int {
                         value: 1,
                         position: (119, 63),
                        },
                       ],
                       position: (119, 61),
                      },
                      position: (119, 58),
                     },
                     Variable {
                      identifier: "fn",
                      position: (119, 66),
                     },
                    ],
                   },
                   position: (119, 50),
                  },
                  Variable {
                   identifier: "v",
                   position: (119, 70),
                  },
                 ],
                },
                else_: IfThenElse {
                 predicate: FunctionApplication {
                  function: Variable {
                   identifier: "isAttrs",
                   position: (120, 31),
                  },
                  arguments: [
                   Variable {
                    identifier: "v",
                    position: (120, 39),
                   },
                  ],
                 },
                 then: FunctionApplication {
                  function: Variable {
                   identifier: "mapAttrs",
                   position: (120, 46),
                  },
                  arguments: [
                   Parentheses {
                    expression: FunctionApplication {
                     function: Variable {
                      identifier: "const",
                      position: (121, 26),
                     },
                     arguments: [
                      Parentheses {
                       expression: FunctionApplication {
                        function: Variable {
                         identifier: "modify",
                         position: (121, 33),
                        },
                        arguments: [
                         Parentheses {
                          expression: BinaryOperation {
                           operator: Subtraction,
                           operands: [
                            Variable {
                             identifier: "n",
                             position: (121, 41),
                            },
                            Int {
                             value: 1,
                             position: (121, 45),
                            },
                           ],
                           position: (121, 43),
                          },
                          position: (121, 40),
                         },
                         Variable {
                          identifier: "fn",
                          position: (121, 48),
                         },
                        ],
                       },
                       position: (121, 32),
                      },
                     ],
                    },
                    position: (121, 25),
                   },
                   Variable {
                    identifier: "v",
                    position: (121, 53),
                   },
                  ],
                 },
                 else_: Variable {
                  identifier: "v",
                  position: (122, 28),
                 },
                 position: (120, 28),
                },
                position: (119, 28),
               },
               position: (118, 28),
              },
              position: (118, 25),
             },
             position: (118, 21),
            },
            position: (118, 18),
           },
          },
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "trace",
           position: (123, 8),
          },
          arguments: [
           Parentheses {
            expression: FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "generators",
               position: (123, 15),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "toPretty",
                 position: (123, 26),
                },
               ],
              },
              default: None,
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "allowPrettyValues",
                    position: (123, 37),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "true",
                  position: (123, 57),
                 },
                },
               ],
               recursive: false,
               position: (123, 35),
              },
              Parentheses {
               expression: FunctionApplication {
                function: Variable {
                 identifier: "modify",
                 position: (124, 17),
                },
                arguments: [
                 Variable {
                  identifier: "depth",
                  position: (124, 24),
                 },
                 Variable {
                  identifier: "snip",
                  position: (124, 30),
                 },
                 Variable {
                  identifier: "x",
                  position: (124, 35),
                 },
                ],
               },
               position: (124, 16),
              },
             ],
            },
            position: (123, 14),
           },
           Variable {
            identifier: "y",
            position: (124, 39),
           },
          ],
         },
         position: (114, 5),
        },
        position: (113, 25),
       },
       position: (113, 22),
      },
      position: (113, 15),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValSeqFn",
        position: (130, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "f",
      },
      definition: Function {
       argument: Simple {
        identifier: "v",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "traceValFn",
         position: (134, 8),
        },
        arguments: [
         Variable {
          identifier: "f",
          position: (134, 19),
         },
         Parentheses {
          expression: FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "builtins",
             position: (134, 22),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "deepSeq",
               position: (134, 31),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Variable {
             identifier: "v",
             position: (134, 39),
            },
            Variable {
             identifier: "v",
             position: (134, 41),
            },
           ],
          },
          position: (134, 21),
         },
        ],
       },
       position: (134, 5),
      },
      position: (132, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValSeq",
        position: (137, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: Variable {
       identifier: "traceValSeqFn",
       position: (137, 17),
      },
      arguments: [
       Variable {
        identifier: "id",
        position: (137, 31),
       },
      ],
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValSeqNFn",
        position: (141, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "f",
      },
      definition: Function {
       argument: Simple {
        identifier: "depth",
       },
       definition: Function {
        argument: Simple {
         identifier: "v",
        },
        definition: FunctionApplication {
         function: Variable {
          identifier: "traceSeqN",
          position: (146, 8),
         },
         arguments: [
          Variable {
           identifier: "depth",
           position: (146, 18),
          },
          Parentheses {
           expression: FunctionApplication {
            function: Variable {
             identifier: "f",
             position: (146, 25),
            },
            arguments: [
             Variable {
              identifier: "v",
              position: (146, 27),
             },
            ],
           },
           position: (146, 24),
          },
          Variable {
           identifier: "v",
           position: (146, 30),
          },
         ],
        },
        position: (146, 5),
       },
       position: (144, 5),
      },
      position: (143, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValSeqN",
        position: (149, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: Variable {
       identifier: "traceValSeqNFn",
       position: (149, 18),
      },
      arguments: [
       Variable {
        identifier: "id",
        position: (149, 33),
       },
      ],
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceFnSeqN",
        position: (162, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "depth",
      },
      definition: Function {
       argument: Simple {
        identifier: "name",
       },
       definition: Function {
        argument: Simple {
         identifier: "f",
        },
        definition: Function {
         argument: Simple {
          identifier: "v",
         },
         definition: LetIn {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "res",
               position: (163, 9),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "f",
              position: (163, 15),
             },
             arguments: [
              Variable {
               identifier: "v",
               position: (163, 17),
              },
             ],
            },
           },
          ],
          target: FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "lib",
             position: (164, 8),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "traceSeqN",
               position: (164, 12),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Parentheses {
             expression: BinaryOperation {
              operator: Addition,
              operands: [
               Variable {
                identifier: "depth",
                position: (165, 10),
               },
               Int {
                value: 1,
                position: (165, 18),
               },
              ],
              position: (165, 16),
             },
             position: (165, 9),
            },
            Map {
             bindings: [
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "fn",
                  position: (167, 11),
                 },
                ],
               },
               to: Variable {
                identifier: "name",
                position: (167, 16),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "from",
                  position: (168, 11),
                 },
                ],
               },
               to: Variable {
                identifier: "v",
                position: (168, 18),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "to",
                  position: (169, 11),
                 },
                ],
               },
               to: Variable {
                identifier: "res",
                position: (169, 16),
               },
              },
             ],
             recursive: false,
             position: (166, 9),
            },
            Variable {
             identifier: "res",
             position: (171, 9),
            },
           ],
          },
          position: (163, 5),
         },
         position: (162, 33),
        },
        position: (162, 30),
       },
       position: (162, 24),
      },
      position: (162, 17),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "runTests",
        position: (188, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "tests",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "concatLists",
        position: (190, 12),
       },
       arguments: [
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "attrValues",
           position: (190, 25),
          },
          arguments: [
           Parentheses {
            expression: FunctionApplication {
             function: Variable {
              identifier: "mapAttrs",
              position: (190, 37),
             },
             arguments: [
              Parentheses {
               expression: Function {
                argument: Simple {
                 identifier: "name",
                },
                definition: Function {
                 argument: Simple {
                  identifier: "test",
                 },
                 definition: LetIn {
                  bindings: [
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "testsToRun",
                       position: (191, 9),
                      },
                     ],
                    },
                    to: IfThenElse {
                     predicate: HasProperty {
                      expression: Variable {
                       identifier: "tests",
                       position: (191, 25),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "tests",
                         position: (191, 33),
                        },
                       ],
                      },
                      position: (191, 31),
                     },
                     then: PropertyAccess {
                      expression: Variable {
                       identifier: "tests",
                       position: (191, 44),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "tests",
                         position: (191, 50),
                        },
                       ],
                      },
                      default: None,
                     },
                     else_: List {
                      elements: [],
                      position: (191, 61),
                     },
                     position: (191, 22),
                    },
                   },
                  ],
                  target: IfThenElse {
                   predicate: BinaryOperation {
                    operator: LogicalAnd,
                    operands: [
                     BinaryOperation {
                      operator: LogicalAnd,
                      operands: [
                       Parentheses {
                        expression: BinaryOperation {
                         operator: LogicalOr,
                         operands: [
                          BinaryOperation {
                           operator: EqualTo,
                           operands: [
                            FunctionApplication {
                             function: Variable {
                              identifier: "substring",
                              position: (192, 12),
                             },
                             arguments: [
                              Int {
                               value: 0,
                               position: (192, 22),
                              },
                              Int {
                               value: 4,
                               position: (192, 24),
                              },
                              Variable {
                               identifier: "name",
                               position: (192, 26),
                              },
                             ],
                            },
                            String {
                             parts: [
                              Raw {
                               content: "test",
                               position: (192, 35),
                              },
                             ],
                             position: (192, 34),
                            },
                           ],
                           position: (192, 31),
                          },
                          FunctionApplication {
                           function: Variable {
                            identifier: "elem",
                            position: (192, 45),
                           },
                           arguments: [
                            Variable {
                             identifier: "name",
                             position: (192, 50),
                            },
                            Variable {
                             identifier: "testsToRun",
                             position: (192, 55),
                            },
                           ],
                          },
                         ],
                         position: (192, 41),
                        },
                        position: (192, 11),
                       },
                       Parentheses {
                        expression: BinaryOperation {
                         operator: LogicalOr,
                         operands: [
                          Parentheses {
                           expression: BinaryOperation {
                            operator: EqualTo,
                            operands: [
                             Variable {
                              identifier: "testsToRun",
                              position: (193, 13),
                             },
                             List {
                              elements: [],
                              position: (193, 27),
                             },
                            ],
                            position: (193, 24),
                           },
                           position: (193, 12),
                          },
                          FunctionApplication {
                           function: Variable {
                            identifier: "elem",
                            position: (193, 34),
                           },
                           arguments: [
                            Variable {
                             identifier: "name",
                             position: (193, 39),
                            },
                            PropertyAccess {
                             expression: Variable {
                              identifier: "tests",
                              position: (193, 44),
                             },
                             attribute_path: AttributePath {
                              parts: [
                               Raw {
                                content: "tests",
                                position: (193, 50),
                               },
                              ],
                             },
                             default: None,
                            },
                           ],
                          },
                         ],
                         position: (193, 31),
                        },
                        position: (193, 11),
                       },
                      ],
                      position: (193, 8),
                     },
                     Parentheses {
                      expression: BinaryOperation {
                       operator: NotEqualTo,
                       operands: [
                        PropertyAccess {
                         expression: Variable {
                          identifier: "test",
                          position: (194, 12),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           Raw {
                            content: "expr",
                            position: (194, 17),
                           },
                          ],
                         },
                         default: None,
                        },
                        PropertyAccess {
                         expression: Variable {
                          identifier: "test",
                          position: (194, 25),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           Raw {
                            content: "expected",
                            position: (194, 30),
                           },
                          ],
                         },
                         default: None,
                        },
                       ],
                       position: (194, 22),
                      },
                      position: (194, 11),
                     },
                    ],
                    position: (194, 8),
                   },
                   then: List {
                    elements: [
                     Map {
                      bindings: [
                       Inherit {
                        from: None,
                        attributes: [
                         Raw {
                          content: "name",
                          position: (196, 24),
                         },
                        ],
                       },
                       Binding {
                        from: AttributePath {
                         parts: [
                          Raw {
                           content: "expected",
                           position: (196, 30),
                          },
                         ],
                        },
                        to: PropertyAccess {
                         expression: Variable {
                          identifier: "test",
                          position: (196, 41),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           Raw {
                            content: "expected",
                            position: (196, 46),
                           },
                          ],
                         },
                         default: None,
                        },
                       },
                       Binding {
                        from: AttributePath {
                         parts: [
                          Raw {
                           content: "result",
                           position: (196, 56),
                          },
                         ],
                        },
                        to: PropertyAccess {
                         expression: Variable {
                          identifier: "test",
                          position: (196, 65),
                         },
                         attribute_path: AttributePath {
                          parts: [
                           Raw {
                            content: "expr",
                            position: (196, 70),
                           },
                          ],
                         },
                         default: None,
                        },
                       },
                      ],
                      recursive: false,
                      position: (196, 14),
                     },
                    ],
                    position: (196, 12),
                   },
                   else_: List {
                    elements: [],
                    position: (197, 12),
                   },
                   position: (192, 8),
                  },
                  position: (191, 5),
                 },
                 position: (190, 53),
                },
                position: (190, 47),
               },
               position: (190, 46),
              },
              Variable {
               identifier: "tests",
               position: (197, 17),
              },
             ],
            },
            position: (190, 36),
           },
          ],
         },
         position: (190, 24),
        },
       ],
      },
      position: (190, 5),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "testAllTrue",
        position: (204, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "expr",
      },
      definition: Map {
       bindings: [
        Inherit {
         from: None,
         attributes: [
          Raw {
           content: "expr",
           position: (204, 33),
          },
         ],
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "expected",
            position: (204, 39),
           },
          ],
         },
         to: FunctionApplication {
          function: Variable {
           identifier: "map",
           position: (204, 50),
          },
          arguments: [
           Parentheses {
            expression: Function {
             argument: Simple {
              identifier: "x",
             },
             definition: Variable {
              identifier: "true",
              position: (204, 58),
             },
             position: (204, 55),
            },
            position: (204, 54),
           },
           Variable {
            identifier: "expr",
            position: (204, 64),
           },
          ],
         },
        },
       ],
       recursive: false,
       position: (204, 23),
      },
      position: (204, 17),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceShowVal",
        position: (209, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "x",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "trace",
        position: (209, 21),
       },
       arguments: [
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "showVal",
           position: (209, 28),
          },
          arguments: [
           Variable {
            identifier: "x",
            position: (209, 36),
           },
          ],
         },
         position: (209, 27),
        },
        Variable {
         identifier: "x",
         position: (209, 39),
        },
       ],
      },
      position: (209, 18),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceShowValMarked",
        position: (210, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "str",
      },
      definition: Function {
       argument: Simple {
        identifier: "x",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "trace",
         position: (210, 32),
        },
        arguments: [
         Parentheses {
          expression: BinaryOperation {
           operator: Addition,
           operands: [
            Variable {
             identifier: "str",
             position: (210, 39),
            },
            FunctionApplication {
             function: Variable {
              identifier: "showVal",
              position: (210, 45),
             },
             arguments: [
              Variable {
               identifier: "x",
               position: (210, 53),
              },
             ],
            },
           ],
           position: (210, 43),
          },
          position: (210, 38),
         },
         Variable {
          identifier: "x",
          position: (210, 56),
         },
        ],
       },
       position: (210, 29),
      },
      position: (210, 24),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "attrNamesToStr",
        position: (212, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "a",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "trace",
        position: (213, 5),
       },
       arguments: [
        Parentheses {
         expression: BinaryOperation {
          operator: Addition,
          operands: [
           BinaryOperation {
            operator: Addition,
            operands: [
             BinaryOperation {
              operator: Addition,
              operands: [
               String {
                parts: [
                 Raw {
                  content: "Warning: `attrNamesToStr` is deprecated ",
                  position: (213, 14),
                 },
                ],
                position: (213, 13),
               },
               String {
                parts: [
                 Raw {
                  content: "and will be removed in the next release. ",
                  position: (214, 14),
                 },
                ],
                position: (214, 13),
               },
              ],
              position: (214, 11),
             },
             String {
              parts: [
               Raw {
                content: "Please use more specific concatenation ",
                position: (215, 14),
               },
              ],
              position: (215, 13),
             },
            ],
            position: (215, 11),
           },
           String {
            parts: [
             Raw {
              content: "for your uses (`lib.concat(Map)StringsSep`).",
              position: (216, 14),
             },
            ],
            position: (216, 13),
           },
          ],
          position: (216, 11),
         },
         position: (213, 11),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "concatStringsSep",
           position: (217, 6),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "; ",
              position: (217, 24),
             },
            ],
            position: (217, 23),
           },
           Parentheses {
            expression: FunctionApplication {
             function: Variable {
              identifier: "map",
              position: (217, 29),
             },
             arguments: [
              Parentheses {
               expression: Function {
                argument: Simple {
                 identifier: "x",
                },
                definition: String {
                 parts: [
                  Interpolation {
                   expression: Variable {
                    identifier: "x",
                    position: (217, 40),
                   },
                  },
                  Raw {
                   content: "=",
                   position: (217, 42),
                  },
                 ],
                 position: (217, 37),
                },
                position: (217, 34),
               },
               position: (217, 33),
              },
              Parentheses {
               expression: FunctionApplication {
                function: Variable {
                 identifier: "attrNames",
                 position: (217, 47),
                },
                arguments: [
                 Variable {
                  identifier: "a",
                  position: (217, 57),
                 },
                ],
               },
               position: (217, 46),
              },
             ],
            },
            position: (217, 28),
           },
          ],
         },
         position: (217, 5),
        },
       ],
      },
      position: (212, 20),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "showVal",
        position: (219, 3),
       },
      ],
     },
     to: FunctionApplication {
      function: Variable {
       identifier: "trace",
       position: (220, 5),
      },
      arguments: [
       Parentheses {
        expression: BinaryOperation {
         operator: Addition,
         operands: [
          BinaryOperation {
           operator: Addition,
           operands: [
            String {
             parts: [
              Raw {
               content: "Warning: `showVal` is deprecated ",
               position: (220, 14),
              },
             ],
             position: (220, 13),
            },
            String {
             parts: [
              Raw {
               content: "and will be removed in the next release, ",
               position: (221, 14),
              },
             ],
             position: (221, 13),
            },
           ],
           position: (221, 11),
          },
          String {
           parts: [
            Raw {
             content: "please use `traceSeqN`",
             position: (222, 14),
            },
           ],
           position: (222, 13),
          },
         ],
         position: (222, 11),
        },
        position: (220, 11),
       },
       Parentheses {
        expression: LetIn {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "modify",
              position: (224, 7),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "v",
            },
            definition: LetIn {
             bindings: [
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "pr",
                  position: (225, 13),
                 },
                ],
               },
               to: Function {
                argument: Simple {
                 identifier: "f",
                },
                definition: Map {
                 bindings: [
                  Binding {
                   from: AttributePath {
                    parts: [
                     Raw {
                      content: "__pretty",
                      position: (225, 23),
                     },
                    ],
                   },
                   to: Variable {
                    identifier: "f",
                    position: (225, 34),
                   },
                  },
                  Binding {
                   from: AttributePath {
                    parts: [
                     Raw {
                      content: "val",
                      position: (225, 37),
                     },
                    ],
                   },
                   to: Variable {
                    identifier: "v",
                    position: (225, 43),
                   },
                  },
                 ],
                 recursive: false,
                 position: (225, 21),
                },
                position: (225, 18),
               },
              },
             ],
             target: IfThenElse {
              predicate: FunctionApplication {
               function: Variable {
                identifier: "isDerivation",
                position: (226, 17),
               },
               arguments: [
                Variable {
                 identifier: "v",
                 position: (226, 30),
                },
               ],
              },
              then: FunctionApplication {
               function: Variable {
                identifier: "pr",
                position: (226, 37),
               },
               arguments: [
                Parentheses {
                 expression: Function {
                  argument: Simple {
                   identifier: "drv",
                  },
                  definition: String {
                   parts: [
                    Raw {
                     content: "<δ:",
                     position: (227, 18),
                    },
                    Interpolation {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "drv",
                       position: (227, 23),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "name",
                         position: (227, 27),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                    Raw {
                     content: ":",
                     position: (227, 32),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "concatStringsSep",
                       position: (227, 35),
                      },
                      arguments: [
                       String {
                        parts: [
                         Raw {
                          content: ",",
                          position: (227, 53),
                         },
                        ],
                        position: (227, 52),
                       },
                       Parentheses {
                        expression: FunctionApplication {
                         function: Variable {
                          identifier: "attrNames",
                          position: (228, 35),
                         },
                         arguments: [
                          Variable {
                           identifier: "drv",
                           position: (228, 45),
                          },
                         ],
                        },
                        position: (228, 34),
                       },
                      ],
                     },
                    },
                    Raw {
                     content: ">",
                     position: (228, 50),
                    },
                   ],
                   position: (227, 17),
                  },
                  position: (227, 12),
                 },
                 position: (227, 11),
                },
               ],
              },
              else_: IfThenElse {
               predicate: BinaryOperation {
                operator: EqualTo,
                operands: [
                 List {
                  elements: [],
                  position: (229, 17),
                 },
                 Variable {
                  identifier: "v",
                  position: (229, 25),
                 },
                ],
                position: (229, 20),
               },
               then: FunctionApplication {
                function: Variable {
                 identifier: "pr",
                 position: (229, 32),
                },
                arguments: [
                 Parentheses {
                  expression: FunctionApplication {
                   function: Variable {
                    identifier: "const",
                    position: (229, 36),
                   },
                   arguments: [
                    String {
                     parts: [
                      Raw {
                       content: "[]",
                       position: (229, 43),
                      },
                     ],
                     position: (229, 42),
                    },
                   ],
                  },
                  position: (229, 35),
                 },
                ],
               },
               else_: IfThenElse {
                predicate: FunctionApplication {
                 function: Variable {
                  identifier: "isList",
                  position: (230, 17),
                 },
                 arguments: [
                  Variable {
                   identifier: "v",
                   position: (230, 25),
                  },
                 ],
                },
                then: FunctionApplication {
                 function: Variable {
                  identifier: "pr",
                  position: (230, 32),
                 },
                 arguments: [
                  Parentheses {
                   expression: Function {
                    argument: Simple {
                     identifier: "l",
                    },
                    definition: String {
                     parts: [
                      Raw {
                       content: "[ ",
                       position: (230, 40),
                      },
                      Interpolation {
                       expression: FunctionApplication {
                        function: Variable {
                         identifier: "go",
                         position: (230, 44),
                        },
                        arguments: [
                         Parentheses {
                          expression: FunctionApplication {
                           function: Variable {
                            identifier: "head",
                            position: (230, 48),
                           },
                           arguments: [
                            Variable {
                             identifier: "l",
                             position: (230, 53),
                            },
                           ],
                          },
                          position: (230, 47),
                         },
                        ],
                       },
                      },
                      Raw {
                       content: ", … ]",
                       position: (230, 56),
                      },
                     ],
                     position: (230, 39),
                    },
                    position: (230, 36),
                   },
                   position: (230, 35),
                  },
                 ],
                },
                else_: IfThenElse {
                 predicate: FunctionApplication {
                  function: Variable {
                   identifier: "isAttrs",
                   position: (231, 17),
                  },
                  arguments: [
                   Variable {
                    identifier: "v",
                    position: (231, 25),
                   },
                  ],
                 },
                 then: FunctionApplication {
                  function: Variable {
                   identifier: "pr",
                   position: (231, 32),
                  },
                  arguments: [
                   Parentheses {
                    expression: Function {
                     argument: Simple {
                      identifier: "a",
                     },
                     definition: String {
                      parts: [
                       Raw {
                        content: "{ ",
                        position: (232, 16),
                       },
                       Interpolation {
                        expression: FunctionApplication {
                         function: Variable {
                          identifier: "concatStringsSep",
                          position: (232, 21),
                         },
                         arguments: [
                          String {
                           parts: [
                            Raw {
                             content: ", ",
                             position: (232, 39),
                            },
                           ],
                           position: (232, 38),
                          },
                          Parentheses {
                           expression: FunctionApplication {
                            function: Variable {
                             identifier: "attrNames",
                             position: (232, 44),
                            },
                            arguments: [
                             Variable {
                              identifier: "a",
                              position: (232, 54),
                             },
                            ],
                           },
                           position: (232, 43),
                          },
                         ],
                        },
                       },
                       Raw {
                        content: " }",
                        position: (232, 57),
                       },
                      ],
                      position: (232, 15),
                     },
                     position: (232, 12),
                    },
                    position: (232, 11),
                   },
                  ],
                 },
                 else_: Variable {
                  identifier: "v",
                  position: (233, 14),
                 },
                 position: (231, 14),
                },
                position: (230, 14),
               },
               position: (229, 14),
              },
              position: (226, 14),
             },
             position: (225, 9),
            },
            position: (224, 16),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "go",
              position: (234, 7),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "x",
            },
            definition: FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "generators",
               position: (234, 15),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "toPretty",
                 position: (234, 26),
                },
               ],
              },
              default: None,
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "allowPrettyValues",
                    position: (235, 11),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "true",
                  position: (235, 31),
                 },
                },
               ],
               recursive: false,
               position: (235, 9),
              },
              Parentheses {
               expression: FunctionApplication {
                function: Variable {
                 identifier: "modify",
                 position: (236, 10),
                },
                arguments: [
                 Variable {
                  identifier: "x",
                  position: (236, 17),
                 },
                ],
               },
               position: (236, 9),
              },
             ],
            },
            position: (234, 12),
           },
          },
         ],
         target: Variable {
          identifier: "go",
          position: (237, 8),
         },
         position: (223, 6),
        },
        position: (223, 5),
       },
      ],
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceXMLVal",
        position: (239, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "x",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "trace",
        position: (240, 5),
       },
       arguments: [
        Parentheses {
         expression: BinaryOperation {
          operator: Addition,
          operands: [
           BinaryOperation {
            operator: Addition,
            operands: [
             String {
              parts: [
               Raw {
                content: "Warning: `traceXMLVal` is deprecated ",
                position: (240, 14),
               },
              ],
              position: (240, 13),
             },
             String {
              parts: [
               Raw {
                content: "and will be removed in the next release. ",
                position: (241, 14),
               },
              ],
              position: (241, 13),
             },
            ],
            position: (241, 11),
           },
           String {
            parts: [
             Raw {
              content: "Please use `traceValFn builtins.toXML`.",
              position: (242, 14),
             },
            ],
            position: (242, 13),
           },
          ],
          position: (242, 11),
         },
         position: (240, 11),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "trace",
           position: (243, 6),
          },
          arguments: [
           Parentheses {
            expression: FunctionApplication {
             function: PropertyAccess {
              expression: Variable {
               identifier: "builtins",
               position: (243, 13),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "toXML",
                 position: (243, 22),
                },
               ],
              },
              default: None,
             },
             arguments: [
              Variable {
               identifier: "x",
               position: (243, 28),
              },
             ],
            },
            position: (243, 12),
           },
           Variable {
            identifier: "x",
            position: (243, 31),
           },
          ],
         },
         position: (243, 5),
        },
       ],
      },
      position: (239, 17),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceXMLValMarked",
        position: (244, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "str",
      },
      definition: Function {
       argument: Simple {
        identifier: "x",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "trace",
         position: (245, 5),
        },
        arguments: [
         Parentheses {
          expression: BinaryOperation {
           operator: Addition,
           operands: [
            BinaryOperation {
             operator: Addition,
             operands: [
              String {
               parts: [
                Raw {
                 content: "Warning: `traceXMLValMarked` is deprecated ",
                 position: (245, 14),
                },
               ],
               position: (245, 13),
              },
              String {
               parts: [
                Raw {
                 content: "and will be removed in the next release. ",
                 position: (246, 14),
                },
               ],
               position: (246, 13),
              },
             ],
             position: (246, 11),
            },
            String {
             parts: [
              Raw {
               content: "Please use `traceValFn (x: str + builtins.toXML x)`.",
               position: (247, 14),
              },
             ],
             position: (247, 13),
            },
           ],
           position: (247, 11),
          },
          position: (245, 11),
         },
         Parentheses {
          expression: FunctionApplication {
           function: Variable {
            identifier: "trace",
            position: (248, 6),
           },
           arguments: [
            Parentheses {
             expression: BinaryOperation {
              operator: Addition,
              operands: [
               Variable {
                identifier: "str",
                position: (248, 13),
               },
               FunctionApplication {
                function: PropertyAccess {
                 expression: Variable {
                  identifier: "builtins",
                  position: (248, 19),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "toXML",
                    position: (248, 28),
                   },
                  ],
                 },
                 default: None,
                },
                arguments: [
                 Variable {
                  identifier: "x",
                  position: (248, 34),
                 },
                ],
               },
              ],
              position: (248, 17),
             },
             position: (248, 12),
            },
            Variable {
             identifier: "x",
             position: (248, 37),
            },
           ],
          },
          position: (248, 5),
         },
        ],
       },
       position: (244, 28),
      },
      position: (244, 23),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceCall",
        position: (252, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "n",
      },
      definition: Function {
       argument: Simple {
        identifier: "f",
       },
       definition: Function {
        argument: Simple {
         identifier: "a",
        },
        definition: LetIn {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "t",
              position: (252, 29),
             },
            ],
           },
           to: Function {
            argument: Simple {
             identifier: "n2",
            },
            definition: Function {
             argument: Simple {
              identifier: "x",
             },
             definition: FunctionApplication {
              function: Variable {
               identifier: "traceShowValMarked",
               position: (252, 40),
              },
              arguments: [
               String {
                parts: [
                 Interpolation {
                  expression: Variable {
                   identifier: "n",
                   position: (252, 62),
                  },
                 },
                 Raw {
                  content: " ",
                  position: (252, 64),
                 },
                 Interpolation {
                  expression: Variable {
                   identifier: "n2",
                   position: (252, 67),
                  },
                 },
                 Raw {
                  content: ":",
                  position: (252, 70),
                 },
                ],
                position: (252, 59),
               },
               Variable {
                identifier: "x",
                position: (252, 73),
               },
              ],
             },
             position: (252, 37),
            },
            position: (252, 33),
           },
          },
         ],
         target: FunctionApplication {
          function: Variable {
           identifier: "t",
           position: (252, 79),
          },
          arguments: [
           String {
            parts: [
             Raw {
              content: "result",
              position: (252, 82),
             },
            ],
            position: (252, 81),
           },
           Parentheses {
            expression: FunctionApplication {
             function: Variable {
              identifier: "f",
              position: (252, 91),
             },
             arguments: [
              Parentheses {
               expression: FunctionApplication {
                function: Variable {
                 identifier: "t",
                 position: (252, 94),
                },
                arguments: [
                 String {
                  parts: [
                   Raw {
                    content: "arg 1",
                    position: (252, 97),
                   },
                  ],
                  position: (252, 96),
                 },
                 Variable {
                  identifier: "a",
                  position: (252, 104),
                 },
                ],
               },
               position: (252, 93),
              },
             ],
            },
            position: (252, 90),
           },
          ],
         },
         position: (252, 25),
        },
        position: (252, 22),
       },
       position: (252, 19),
      },
      position: (252, 16),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceCall2",
        position: (253, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "n",
      },
      definition: Function {
       argument: Simple {
        identifier: "f",
       },
       definition: Function {
        argument: Simple {
         identifier: "a",
        },
        definition: Function {
         argument: Simple {
          identifier: "b",
         },
         definition: LetIn {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "t",
               position: (253, 32),
              },
             ],
            },
            to: Function {
             argument: Simple {
              identifier: "n2",
             },
             definition: Function {
              argument: Simple {
               identifier: "x",
              },
              definition: FunctionApplication {
               function: Variable {
                identifier: "traceShowValMarked",
                position: (253, 43),
               },
               arguments: [
                String {
                 parts: [
                  Interpolation {
                   expression: Variable {
                    identifier: "n",
                    position: (253, 65),
                   },
                  },
                  Raw {
                   content: " ",
                   position: (253, 67),
                  },
                  Interpolation {
                   expression: Variable {
                    identifier: "n2",
                    position: (253, 70),
                   },
                  },
                  Raw {
                   content: ":",
                   position: (253, 73),
                  },
                 ],
                 position: (253, 62),
                },
                Variable {
                 identifier: "x",
                 position: (253, 76),
                },
               ],
              },
              position: (253, 40),
             },
             position: (253, 36),
            },
           },
          ],
          target: FunctionApplication {
           function: Variable {
            identifier: "t",
            position: (253, 82),
           },
           arguments: [
            String {
             parts: [
              Raw {
               content: "result",
               position: (253, 85),
              },
             ],
             position: (253, 84),
            },
            Parentheses {
             expression: FunctionApplication {
              function: Variable {
               identifier: "f",
               position: (253, 94),
              },
              arguments: [
               Parentheses {
                expression: FunctionApplication {
                 function: Variable {
                  identifier: "t",
                  position: (253, 97),
                 },
                 arguments: [
                  String {
                   parts: [
                    Raw {
                     content: "arg 1",
                     position: (253, 100),
                    },
                   ],
                   position: (253, 99),
                  },
                  Variable {
                   identifier: "a",
                   position: (253, 107),
                  },
                 ],
                },
                position: (253, 96),
               },
               Parentheses {
                expression: FunctionApplication {
                 function: Variable {
                  identifier: "t",
                  position: (253, 111),
                 },
                 arguments: [
                  String {
                   parts: [
                    Raw {
                     content: "arg 2",
                     position: (253, 114),
                    },
                   ],
                   position: (253, 113),
                  },
                  Variable {
                   identifier: "b",
                   position: (253, 121),
                  },
                 ],
                },
                position: (253, 110),
               },
              ],
             },
             position: (253, 93),
            },
           ],
          },
          position: (253, 28),
         },
         position: (253, 25),
        },
        position: (253, 22),
       },
       position: (253, 19),
      },
      position: (253, 16),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceCall3",
        position: (254, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "n",
      },
      definition: Function {
       argument: Simple {
        identifier: "f",
       },
       definition: Function {
        argument: Simple {
         identifier: "a",
        },
        definition: Function {
         argument: Simple {
          identifier: "b",
         },
         definition: Function {
          argument: Simple {
           identifier: "c",
          },
          definition: LetIn {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "t",
                position: (254, 35),
               },
              ],
             },
             to: Function {
              argument: Simple {
               identifier: "n2",
              },
              definition: Function {
               argument: Simple {
                identifier: "x",
               },
               definition: FunctionApplication {
                function: Variable {
                 identifier: "traceShowValMarked",
                 position: (254, 46),
                },
                arguments: [
                 String {
                  parts: [
                   Interpolation {
                    expression: Variable {
                     identifier: "n",
                     position: (254, 68),
                    },
                   },
                   Raw {
                    content: " ",
                    position: (254, 70),
                   },
                   Interpolation {
                    expression: Variable {
                     identifier: "n2",
                     position: (254, 73),
                    },
                   },
                   Raw {
                    content: ":",
                    position: (254, 76),
                   },
                  ],
                  position: (254, 65),
                 },
                 Variable {
                  identifier: "x",
                  position: (254, 79),
                 },
                ],
               },
               position: (254, 43),
              },
              position: (254, 39),
             },
            },
           ],
           target: FunctionApplication {
            function: Variable {
             identifier: "t",
             position: (254, 85),
            },
            arguments: [
             String {
              parts: [
               Raw {
                content: "result",
                position: (254, 88),
               },
              ],
              position: (254, 87),
             },
             Parentheses {
              expression: FunctionApplication {
               function: Variable {
                identifier: "f",
                position: (254, 97),
               },
               arguments: [
                Parentheses {
                 expression: FunctionApplication {
                  function: Variable {
                   identifier: "t",
                   position: (254, 100),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "arg 1",
                      position: (254, 103),
                     },
                    ],
                    position: (254, 102),
                   },
                   Variable {
                    identifier: "a",
                    position: (254, 110),
                   },
                  ],
                 },
                 position: (254, 99),
                },
                Parentheses {
                 expression: FunctionApplication {
                  function: Variable {
                   identifier: "t",
                   position: (254, 114),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "arg 2",
                      position: (254, 117),
                     },
                    ],
                    position: (254, 116),
                   },
                   Variable {
                    identifier: "b",
                    position: (254, 124),
                   },
                  ],
                 },
                 position: (254, 113),
                },
                Parentheses {
                 expression: FunctionApplication {
                  function: Variable {
                   identifier: "t",
                   position: (254, 128),
                  },
                  arguments: [
                   String {
                    parts: [
                     Raw {
                      content: "arg 3",
                      position: (254, 131),
                     },
                    ],
                    position: (254, 130),
                   },
                   Variable {
                    identifier: "c",
                    position: (254, 138),
                   },
                  ],
                 },
                 position: (254, 127),
                },
               ],
              },
              position: (254, 96),
             },
            ],
           },
           position: (254, 31),
          },
          position: (254, 28),
         },
         position: (254, 25),
        },
        position: (254, 22),
       },
       position: (254, 19),
      },
      position: (254, 16),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceValIfNot",
        position: (256, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "c",
      },
      definition: Function {
       argument: Simple {
        identifier: "x",
       },
       definition: FunctionApplication {
        function: Variable {
         identifier: "trace",
         position: (257, 5),
        },
        arguments: [
         Parentheses {
          expression: BinaryOperation {
           operator: Addition,
           operands: [
            BinaryOperation {
             operator: Addition,
             operands: [
              String {
               parts: [
                Raw {
                 content: "Warning: `traceValIfNot` is deprecated ",
                 position: (257, 14),
                },
               ],
               position: (257, 13),
              },
              String {
               parts: [
                Raw {
                 content: "and will be removed in the next release. ",
                 position: (258, 14),
                },
               ],
               position: (258, 13),
              },
             ],
             position: (258, 11),
            },
            String {
             parts: [
              Raw {
               content: "Please use `if/then/else` and `traceValSeq 1`.",
               position: (259, 14),
              },
             ],
             position: (259, 13),
            },
           ],
           position: (259, 11),
          },
          position: (257, 11),
         },
         Parentheses {
          expression: IfThenElse {
           predicate: FunctionApplication {
            function: Variable {
             identifier: "c",
             position: (260, 9),
            },
            arguments: [
             Variable {
              identifier: "x",
              position: (260, 11),
             },
            ],
           },
           then: Variable {
            identifier: "true",
            position: (260, 18),
           },
           else_: FunctionApplication {
            function: Variable {
             identifier: "traceSeq",
             position: (260, 28),
            },
            arguments: [
             Parentheses {
              expression: FunctionApplication {
               function: Variable {
                identifier: "showVal",
                position: (260, 38),
               },
               arguments: [
                Variable {
                 identifier: "x",
                 position: (260, 46),
                },
               ],
              },
              position: (260, 37),
             },
             Variable {
              identifier: "false",
              position: (260, 49),
             },
            ],
           },
           position: (260, 6),
          },
          position: (260, 5),
         },
        ],
       },
       position: (256, 22),
      },
      position: (256, 19),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "addErrorContextToAttrs",
        position: (263, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "attrs",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "trace",
        position: (264, 5),
       },
       arguments: [
        Parentheses {
         expression: BinaryOperation {
          operator: Addition,
          operands: [
           BinaryOperation {
            operator: Addition,
            operands: [
             String {
              parts: [
               Raw {
                content: "Warning: `addErrorContextToAttrs` is deprecated ",
                position: (264, 14),
               },
              ],
              position: (264, 13),
             },
             String {
              parts: [
               Raw {
                content: "and will be removed in the next release. ",
                position: (265, 14),
               },
              ],
              position: (265, 13),
             },
            ],
            position: (265, 11),
           },
           String {
            parts: [
             Raw {
              content: "Please use `builtins.addErrorContext` directly.",
              position: (266, 14),
             },
            ],
            position: (266, 13),
           },
          ],
          position: (266, 11),
         },
         position: (264, 11),
        },
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mapAttrs",
           position: (267, 6),
          },
          arguments: [
           Parentheses {
            expression: Function {
             argument: Simple {
              identifier: "a",
             },
             definition: Function {
              argument: Simple {
               identifier: "v",
              },
              definition: FunctionApplication {
               function: Variable {
                identifier: "addErrorContext",
                position: (267, 22),
               },
               arguments: [
                String {
                 parts: [
                  Raw {
                   content: "while evaluating ",
                   position: (267, 39),
                  },
                  Interpolation {
                   expression: Variable {
                    identifier: "a",
                    position: (267, 58),
                   },
                  },
                 ],
                 position: (267, 38),
                },
                Variable {
                 identifier: "v",
                 position: (267, 62),
                },
               ],
              },
              position: (267, 19),
             },
             position: (267, 16),
            },
            position: (267, 15),
           },
           Variable {
            identifier: "attrs",
            position: (267, 65),
           },
          ],
         },
         position: (267, 5),
        },
       ],
      },
      position: (263, 28),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "traceCallXml",
        position: (274, 3),
       },
      ],
     },
     to: Function {
      argument: Simple {
       identifier: "a",
      },
      definition: FunctionApplication {
       function: Variable {
        identifier: "trace",
        position: (275, 5),
       },
       arguments: [
        Parentheses {
         expression: BinaryOperation {
          operator: Addition,
          operands: [
           BinaryOperation {
            operator: Addition,
            operands: [
             String {
              parts: [
               Raw {
                content: "Warning: `traceCallXml` is deprecated ",
                position: (275, 14),
               },
              ],
              position: (275, 13),
             },
             String {
              parts: [
               Raw {
                content: "and will be removed in the next release. ",
                position: (276, 14),
               },
              ],
              position: (276, 13),
             },
            ],
            position: (276, 11),
           },
           String {
            parts: [
             Raw {
              content: "Please complain if you use the function regularly.",
              position: (277, 14),
             },
            ],
            position: (277, 13),
           },
          ],
          position: (277, 11),
         },
         position: (275, 11),
        },
        Parentheses {
         expression: IfThenElse {
          predicate: UnaryOperation {
           operator: Not,
           operand: FunctionApplication {
            function: Variable {
             identifier: "isInt",
             position: (278, 10),
            },
            arguments: [
             Variable {
              identifier: "a",
              position: (278, 16),
             },
            ],
           },
           position: (278, 9),
          },
          then: FunctionApplication {
           function: Variable {
            identifier: "traceCallXml",
            position: (279, 7),
           },
           arguments: [
            Int {
             value: 1,
             position: (279, 20),
            },
            String {
             parts: [
              Raw {
               content: "calling ",
               position: (279, 23),
              },
              Interpolation {
               expression: Variable {
                identifier: "a",
                position: (279, 33),
               },
              },
              Raw {
               content: "\n",
               position: (279, 35),
              },
             ],
             position: (279, 22),
            },
           ],
          },
          else_: LetIn {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "nr",
                position: (281, 11),
               },
              ],
             },
             to: Variable {
              identifier: "a",
              position: (281, 16),
             },
            },
           ],
           target: Parentheses {
            expression: Function {
             argument: Simple {
              identifier: "str",
             },
             definition: Function {
              argument: Simple {
               identifier: "expr",
              },
              definition: IfThenElse {
               predicate: FunctionApplication {
                function: Variable {
                 identifier: "isFunction",
                 position: (283, 14),
                },
                arguments: [
                 Variable {
                  identifier: "expr",
                  position: (283, 25),
                 },
                ],
               },
               then: Parentheses {
                expression: Function {
                 argument: Simple {
                  identifier: "arg",
                 },
                 definition: FunctionApplication {
                  function: Variable {
                   identifier: "traceCallXml",
                   position: (285, 15),
                  },
                  arguments: [
                   Parentheses {
                    expression: FunctionApplication {
                     function: PropertyAccess {
                      expression: Variable {
                       identifier: "builtins",
                       position: (285, 29),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "add",
                         position: (285, 38),
                        },
                       ],
                      },
                      default: None,
                     },
                     arguments: [
                      Int {
                       value: 1,
                       position: (285, 42),
                      },
                      Variable {
                       identifier: "nr",
                       position: (285, 44),
                      },
                     ],
                    },
                    position: (285, 28),
                   },
                   String {
                    parts: [
                     Interpolation {
                      expression: Variable {
                       identifier: "str",
                       position: (285, 51),
                      },
                     },
                     Raw {
                      content: "\n arg ",
                      position: (285, 55),
                     },
                     Interpolation {
                      expression: FunctionApplication {
                       function: PropertyAccess {
                        expression: Variable {
                         identifier: "builtins",
                         position: (285, 64),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "toString",
                           position: (285, 73),
                          },
                         ],
                        },
                        default: None,
                       },
                       arguments: [
                        Variable {
                         identifier: "nr",
                         position: (285, 82),
                        },
                       ],
                      },
                     },
                     Raw {
                      content: " is \n ",
                      position: (285, 85),
                     },
                     Interpolation {
                      expression: FunctionApplication {
                       function: PropertyAccess {
                        expression: Variable {
                         identifier: "builtins",
                         position: (285, 94),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "toXML",
                           position: (285, 103),
                          },
                         ],
                        },
                        default: None,
                       },
                       arguments: [
                        Parentheses {
                         expression: FunctionApplication {
                          function: PropertyAccess {
                           expression: Variable {
                            identifier: "builtins",
                            position: (285, 110),
                           },
                           attribute_path: AttributePath {
                            parts: [
                             Raw {
                              content: "seq",
                              position: (285, 119),
                             },
                            ],
                           },
                           default: None,
                          },
                          arguments: [
                           Variable {
                            identifier: "arg",
                            position: (285, 123),
                           },
                           Variable {
                            identifier: "arg",
                            position: (285, 127),
                           },
                          ],
                         },
                         position: (285, 109),
                        },
                       ],
                      },
                     },
                    ],
                    position: (285, 48),
                   },
                   Parentheses {
                    expression: FunctionApplication {
                     function: Variable {
                      identifier: "expr",
                      position: (285, 135),
                     },
                     arguments: [
                      Variable {
                       identifier: "arg",
                       position: (285, 140),
                      },
                     ],
                    },
                    position: (285, 134),
                   },
                  ],
                 },
                 position: (284, 14),
                },
                position: (284, 13),
               },
               else_: LetIn {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "r",
                     position: (288, 17),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: PropertyAccess {
                    expression: Variable {
                     identifier: "builtins",
                     position: (288, 21),
                    },
                    attribute_path: AttributePath {
                     parts: [
                      Raw {
                       content: "seq",
                       position: (288, 30),
                      },
                     ],
                    },
                    default: None,
                   },
                   arguments: [
                    Variable {
                     identifier: "expr",
                     position: (288, 34),
                    },
                    Variable {
                     identifier: "expr",
                     position: (288, 39),
                    },
                   ],
                  },
                 },
                ],
                target: FunctionApplication {
                 function: Variable {
                  identifier: "trace",
                  position: (289, 16),
                 },
                 arguments: [
                  String {
                   parts: [
                    Interpolation {
                     expression: Variable {
                      identifier: "str",
                      position: (289, 25),
                     },
                    },
                    Raw {
                     content: "\n result:\n",
                     position: (289, 29),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: PropertyAccess {
                       expression: Variable {
                        identifier: "builtins",
                        position: (289, 43),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "toXML",
                          position: (289, 52),
                         },
                        ],
                       },
                       default: None,
                      },
                      arguments: [
                       Variable {
                        identifier: "r",
                        position: (289, 58),
                       },
                      ],
                     },
                    },
                   ],
                   position: (289, 22),
                  },
                  Variable {
                   identifier: "r",
                   position: (289, 62),
                  },
                 ],
                },
                position: (288, 13),
               },
               position: (283, 11),
              },
              position: (282, 16),
             },
             position: (282, 11),
            },
            position: (282, 10),
           },
           position: (281, 7),
          },
          position: (278, 6),
         },
         position: (278, 5),
        },
       ],
      },
      position: (274, 18),
     },
    },
   ],
   recursive: true,
   position: (38, 1),
  },
  position: (16, 1),
 },
 position: (15, 1),
}