---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: Map {
  bindings: [
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "options",
       position: (2, 3),
      },
      Raw {
       content: "dummy",
       position: (2, 11),
      },
     ],
    },
    to: FunctionApplication {
     function: PropertyAccess {
      expression: Variable {
       identifier: "lib",
       position: (2, 19),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "mkOption",
         position: (2, 23),
        },
       ],
      },
      default: None,
     },
     arguments: [
      Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "type",
            position: (2, 34),
           },
          ],
         },
         to: PropertyAccess {
          expression: Variable {
           identifier: "lib",
           position: (2, 41),
          },
          attribute_path: AttributePath {
           parts: [
            Raw {
             content: "types",
             position: (2, 45),
            },
            Raw {
             content: "anything",
             position: (2, 51),
            },
           ],
          },
          default: None,
         },
        },
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "default",
            position: (2, 61),
           },
          ],
         },
         to: Map {
          bindings: [],
          recursive: false,
          position: (2, 71),
         },
        },
       ],
       recursive: false,
       position: (2, 32),
      },
     ],
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "freeformType",
       position: (3, 3),
      },
     ],
    },
    to: LetIn {
     bindings: [
      Binding {
       from: AttributePath {
        parts: [
         Raw {
          content: "a",
          position: (5, 7),
         },
        ],
       },
       to: FunctionApplication {
        function: PropertyAccess {
         expression: Variable {
          identifier: "lib",
          position: (5, 11),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "types",
            position: (5, 15),
           },
           Raw {
            content: "attrsOf",
            position: (5, 21),
           },
          ],
         },
         default: None,
        },
        arguments: [
         Parentheses {
          expression: FunctionApplication {
           function: PropertyAccess {
            expression: Variable {
             identifier: "lib",
             position: (5, 30),
            },
            attribute_path: AttributePath {
             parts: [
              Raw {
               content: "types",
               position: (5, 34),
              },
              Raw {
               content: "submodule",
               position: (5, 40),
              },
             ],
            },
            default: None,
           },
           arguments: [
            Map {
             bindings: [
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "options",
                  position: (5, 52),
                 },
                 Raw {
                  content: "bar",
                  position: (5, 60),
                 },
                ],
               },
               to: FunctionApplication {
                function: PropertyAccess {
                 expression: Variable {
                  identifier: "lib",
                  position: (5, 66),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "mkOption",
                    position: (5, 70),
                   },
                  ],
                 },
                 default: None,
                },
                arguments: [
                 Map {
                  bindings: [],
                  recursive: false,
                  position: (5, 79),
                 },
                ],
               },
              },
             ],
             recursive: false,
             position: (5, 50),
            },
           ],
          },
          position: (5, 29),
         },
        ],
       },
      },
     ],
     target: BinaryOperation {
      operator: Update,
      operands: [
       Variable {
        identifier: "a",
        position: (10, 5),
       },
       Map {
        bindings: [
         Binding {
          from: AttributePath {
           parts: [
            Raw {
             content: "merge",
             position: (11, 7),
            },
           ],
          },
          to: Function {
           argument: Simple {
            identifier: "loc",
           },
           definition: Function {
            argument: Simple {
             identifier: "defs",
            },
            definition: Map {
             bindings: [
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "freeformItems",
                  position: (11, 28),
                 },
                ],
               },
               to: FunctionApplication {
                function: PropertyAccess {
                 expression: Variable {
                  identifier: "a",
                  position: (11, 44),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "merge",
                    position: (11, 46),
                   },
                  ],
                 },
                 default: None,
                },
                arguments: [
                 Variable {
                  identifier: "loc",
                  position: (11, 52),
                 },
                 Variable {
                  identifier: "defs",
                  position: (11, 56),
                 },
                ],
               },
              },
             ],
             recursive: false,
             position: (11, 26),
            },
            position: (11, 20),
           },
           position: (11, 15),
          },
         },
        ],
        recursive: false,
        position: (10, 10),
       },
      ],
      position: (10, 7),
     },
     position: (4, 5),
    },
   },
   Binding {
    from: AttributePath {
     parts: [
      Raw {
       content: "config",
       position: (13, 3),
      },
      Raw {
       content: "foo",
       position: (13, 10),
      },
      Raw {
       content: "bar",
       position: (13, 14),
      },
     ],
    },
    to: String {
     parts: [
      Raw {
       content: "ok",
       position: (13, 21),
      },
     ],
     position: (13, 20),
    },
   },
  ],
  recursive: false,
  position: (1, 15),
 },
 position: (1, 1),
}