---
Function {
 argument: Destructured {
  identifier: None,
  arguments: [
   DestructuredArgument {
    identifier: "config",
    default: None,
   },
   DestructuredArgument {
    identifier: "lib",
    default: None,
   },
   DestructuredArgument {
    identifier: "pkgs",
    default: None,
   },
  ],
  ellipsis: true,
 },
 definition: With {
  expression: Variable {
   identifier: "lib",
   position: (3, 6),
  },
  target: LetIn {
   bindings: [
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "cfg",
        position: (5, 3),
       },
      ],
     },
     to: PropertyAccess {
      expression: Variable {
       identifier: "config",
       position: (5, 9),
      },
      attribute_path: AttributePath {
       parts: [
        Raw {
         content: "services",
         position: (5, 16),
        },
        Raw {
         content: "postgrey",
         position: (5, 25),
        },
       ],
      },
      default: None,
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "natural",
        position: (7, 3),
       },
      ],
     },
     to: With {
      expression: Variable {
       identifier: "types",
       position: (7, 18),
      },
      target: FunctionApplication {
       function: Variable {
        identifier: "addCheck",
        position: (7, 25),
       },
       arguments: [
        Variable {
         identifier: "int",
         position: (7, 34),
        },
        Parentheses {
         expression: Function {
          argument: Simple {
           identifier: "x",
          },
          definition: BinaryOperation {
           operator: GreaterThanOrEqualTo,
           operands: [
            Variable {
             identifier: "x",
             position: (7, 42),
            },
            Int {
             value: 0,
             position: (7, 47),
            },
           ],
           position: (7, 44),
          },
          position: (7, 39),
         },
         position: (7, 38),
        },
       ],
      },
      position: (7, 13),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "natural'",
        position: (8, 3),
       },
      ],
     },
     to: With {
      expression: Variable {
       identifier: "types",
       position: (8, 19),
      },
      target: FunctionApplication {
       function: Variable {
        identifier: "addCheck",
        position: (8, 26),
       },
       arguments: [
        Variable {
         identifier: "int",
         position: (8, 35),
        },
        Parentheses {
         expression: Function {
          argument: Simple {
           identifier: "x",
          },
          definition: BinaryOperation {
           operator: GreaterThan,
           operands: [
            Variable {
             identifier: "x",
             position: (8, 43),
            },
            Int {
             value: 0,
             position: (8, 47),
            },
           ],
           position: (8, 45),
          },
          position: (8, 40),
         },
         position: (8, 39),
        },
       ],
      },
      position: (8, 14),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "socket",
        position: (10, 3),
       },
      ],
     },
     to: With {
      expression: Variable {
       identifier: "types",
       position: (10, 17),
      },
      target: FunctionApplication {
       function: Variable {
        identifier: "addCheck",
        position: (10, 24),
       },
       arguments: [
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "either",
           position: (10, 34),
          },
          arguments: [
           Parentheses {
            expression: FunctionApplication {
             function: Variable {
              identifier: "submodule",
              position: (10, 42),
             },
             arguments: [
              Variable {
               identifier: "unixSocket",
               position: (10, 52),
              },
             ],
            },
            position: (10, 41),
           },
           Parentheses {
            expression: FunctionApplication {
             function: Variable {
              identifier: "submodule",
              position: (10, 65),
             },
             arguments: [
              Variable {
               identifier: "inetSocket",
               position: (10, 75),
              },
             ],
            },
            position: (10, 64),
           },
          ],
         },
         position: (10, 33),
        },
        Parentheses {
         expression: Function {
          argument: Simple {
           identifier: "x",
          },
          definition: BinaryOperation {
           operator: LogicalOr,
           operands: [
            HasProperty {
             expression: Variable {
              identifier: "x",
              position: (10, 92),
             },
             attribute_path: AttributePath {
              parts: [
               Raw {
                content: "path",
                position: (10, 96),
               },
              ],
             },
             position: (10, 94),
            },
            HasProperty {
             expression: Variable {
              identifier: "x",
              position: (10, 104),
             },
             attribute_path: AttributePath {
              parts: [
               Raw {
                content: "port",
                position: (10, 108),
               },
              ],
             },
             position: (10, 106),
            },
           ],
           position: (10, 101),
          },
          position: (10, 89),
         },
         position: (10, 88),
        },
       ],
      },
      position: (10, 12),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "inetSocket",
        position: (12, 3),
       },
      ],
     },
     to: With {
      expression: Variable {
       identifier: "types",
       position: (12, 21),
      },
      target: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "options",
            position: (13, 5),
           },
          ],
         },
         to: Map {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "addr",
               position: (14, 7),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (14, 14),
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "type",
                    position: (15, 9),
                   },
                  ],
                 },
                 to: FunctionApplication {
                  function: Variable {
                   identifier: "nullOr",
                   position: (15, 16),
                  },
                  arguments: [
                   Variable {
                    identifier: "str",
                    position: (15, 23),
                   },
                  ],
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "default",
                    position: (16, 9),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "null",
                  position: (16, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "example",
                    position: (17, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "127.0.0.1",
                    position: (17, 20),
                   },
                  ],
                  position: (17, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "description",
                    position: (18, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "The address to bind to. Localhost if null",
                    position: (18, 24),
                   },
                  ],
                  position: (18, 23),
                 },
                },
               ],
               recursive: false,
               position: (14, 23),
              },
             ],
            },
           },
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "port",
               position: (20, 7),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (20, 14),
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "type",
                    position: (21, 9),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "natural'",
                  position: (21, 16),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "default",
                    position: (22, 9),
                   },
                  ],
                 },
                 to: Int {
                  value: 10030,
                  position: (22, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "description",
                    position: (23, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "Tcp port to bind to",
                    position: (23, 24),
                   },
                  ],
                  position: (23, 23),
                 },
                },
               ],
               recursive: false,
               position: (20, 23),
              },
             ],
            },
           },
          ],
          recursive: false,
          position: (13, 15),
         },
        },
       ],
       recursive: false,
       position: (12, 28),
      },
      position: (12, 16),
     },
    },
    Binding {
     from: AttributePath {
      parts: [
       Raw {
        content: "unixSocket",
        position: (28, 3),
       },
      ],
     },
     to: With {
      expression: Variable {
       identifier: "types",
       position: (28, 21),
      },
      target: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "options",
            position: (29, 5),
           },
          ],
         },
         to: Map {
          bindings: [
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "path",
               position: (30, 7),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (30, 14),
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "type",
                    position: (31, 9),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "path",
                  position: (31, 16),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "default",
                    position: (32, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "/run/postgrey.sock",
                    position: (32, 20),
                   },
                  ],
                  position: (32, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "description",
                    position: (33, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "Path of the unix socket",
                    position: (33, 24),
                   },
                  ],
                  position: (33, 23),
                 },
                },
               ],
               recursive: false,
               position: (30, 23),
              },
             ],
            },
           },
           Binding {
            from: AttributePath {
             parts: [
              Raw {
               content: "mode",
               position: (36, 7),
              },
             ],
            },
            to: FunctionApplication {
             function: Variable {
              identifier: "mkOption",
              position: (36, 14),
             },
             arguments: [
              Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "type",
                    position: (37, 9),
                   },
                  ],
                 },
                 to: Variable {
                  identifier: "str",
                  position: (37, 16),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "default",
                    position: (38, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "0777",
                    position: (38, 20),
                   },
                  ],
                  position: (38, 19),
                 },
                },
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "description",
                    position: (39, 9),
                   },
                  ],
                 },
                 to: String {
                  parts: [
                   Raw {
                    content: "Mode of the unix socket",
                    position: (39, 24),
                   },
                  ],
                  position: (39, 23),
                 },
                },
               ],
               recursive: false,
               position: (36, 23),
              },
             ],
            },
           },
          ],
          recursive: false,
          position: (29, 15),
         },
        },
       ],
       recursive: false,
       position: (28, 28),
      },
      position: (28, 16),
     },
    },
   ],
   target: Map {
    bindings: [
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "imports",
         position: (45, 3),
        },
       ],
      },
      to: List {
       elements: [
        Parentheses {
         expression: FunctionApplication {
          function: Variable {
           identifier: "mkMergedOptionModule",
           position: (46, 6),
          },
          arguments: [
           List {
            elements: [
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "services",
                  position: (46, 32),
                 },
                ],
                position: (46, 31),
               },
               String {
                parts: [
                 Raw {
                  content: "postgrey",
                  position: (46, 43),
                 },
                ],
                position: (46, 42),
               },
               String {
                parts: [
                 Raw {
                  content: "inetAddr",
                  position: (46, 54),
                 },
                ],
                position: (46, 53),
               },
              ],
              position: (46, 29),
             },
             List {
              elements: [
               String {
                parts: [
                 Raw {
                  content: "services",
                  position: (46, 69),
                 },
                ],
                position: (46, 68),
               },
               String {
                parts: [
                 Raw {
                  content: "postgrey",
                  position: (46, 80),
                 },
                ],
                position: (46, 79),
               },
               String {
                parts: [
                 Raw {
                  content: "inetPort",
                  position: (46, 91),
                 },
                ],
                position: (46, 90),
               },
              ],
              position: (46, 66),
             },
            ],
            position: (46, 27),
           },
           List {
            elements: [
             String {
              parts: [
               Raw {
                content: "services",
                position: (46, 108),
               },
              ],
              position: (46, 107),
             },
             String {
              parts: [
               Raw {
                content: "postgrey",
                position: (46, 119),
               },
              ],
              position: (46, 118),
             },
             String {
              parts: [
               Raw {
                content: "socket",
                position: (46, 130),
               },
              ],
              position: (46, 129),
             },
            ],
            position: (46, 105),
           },
           Parentheses {
            expression: Function {
             argument: Simple {
              identifier: "config",
             },
             definition: LetIn {
              bindings: [
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "value",
                   position: (47, 9),
                  },
                 ],
                },
                to: Function {
                 argument: Simple {
                  identifier: "p",
                 },
                 definition: FunctionApplication {
                  function: Variable {
                   identifier: "getAttrFromPath",
                   position: (47, 20),
                  },
                  arguments: [
                   Variable {
                    identifier: "p",
                    position: (47, 36),
                   },
                   Variable {
                    identifier: "config",
                    position: (47, 38),
                   },
                  ],
                 },
                 position: (47, 17),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "inetAddr",
                   position: (48, 9),
                  },
                 ],
                },
                to: List {
                 elements: [
                  String {
                   parts: [
                    Raw {
                     content: "services",
                     position: (48, 23),
                    },
                   ],
                   position: (48, 22),
                  },
                  String {
                   parts: [
                    Raw {
                     content: "postgrey",
                     position: (48, 34),
                    },
                   ],
                   position: (48, 33),
                  },
                  String {
                   parts: [
                    Raw {
                     content: "inetAddr",
                     position: (48, 45),
                    },
                   ],
                   position: (48, 44),
                  },
                 ],
                 position: (48, 20),
                },
               },
               Binding {
                from: AttributePath {
                 parts: [
                  Raw {
                   content: "inetPort",
                   position: (49, 9),
                  },
                 ],
                },
                to: List {
                 elements: [
                  String {
                   parts: [
                    Raw {
                     content: "services",
                     position: (49, 23),
                    },
                   ],
                   position: (49, 22),
                  },
                  String {
                   parts: [
                    Raw {
                     content: "postgrey",
                     position: (49, 34),
                    },
                   ],
                   position: (49, 33),
                  },
                  String {
                   parts: [
                    Raw {
                     content: "inetPort",
                     position: (49, 45),
                    },
                   ],
                   position: (49, 44),
                  },
                 ],
                 position: (49, 20),
                },
               },
              ],
              target: IfThenElse {
               predicate: BinaryOperation {
                operator: EqualTo,
                operands: [
                 FunctionApplication {
                  function: Variable {
                   identifier: "value",
                   position: (51, 12),
                  },
                  arguments: [
                   Variable {
                    identifier: "inetAddr",
                    position: (51, 18),
                   },
                  ],
                 },
                 Variable {
                  identifier: "null",
                  position: (51, 30),
                 },
                ],
                position: (51, 27),
               },
               then: Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "path",
                     position: (52, 16),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "/run/postgrey.sock",
                     position: (52, 24),
                    },
                   ],
                   position: (52, 23),
                  },
                 },
                ],
                recursive: false,
                position: (52, 14),
               },
               else_: Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "addr",
                     position: (53, 16),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "value",
                    position: (53, 23),
                   },
                   arguments: [
                    Variable {
                     identifier: "inetAddr",
                     position: (53, 29),
                    },
                   ],
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "port",
                     position: (53, 39),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "value",
                    position: (53, 46),
                   },
                   arguments: [
                    Variable {
                     identifier: "inetPort",
                     position: (53, 52),
                    },
                   ],
                  },
                 },
                ],
                recursive: false,
                position: (53, 14),
               },
               position: (51, 9),
              },
              position: (46, 149),
             },
             position: (46, 141),
            },
            position: (46, 140),
           },
          ],
         },
         position: (46, 5),
        },
       ],
       position: (45, 13),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "options",
         position: (57, 3),
        },
       ],
      },
      to: Map {
       bindings: [
        Binding {
         from: AttributePath {
          parts: [
           Raw {
            content: "services",
            position: (58, 5),
           },
           Raw {
            content: "postgrey",
            position: (58, 14),
           },
          ],
         },
         to: With {
          expression: Variable {
           identifier: "types",
           position: (58, 30),
          },
          target: Map {
           bindings: [
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "enable",
                position: (59, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (59, 16),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (60, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "bool",
                   position: (60, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (61, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "false",
                   position: (61, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (62, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Whether to run the Postgrey daemon",
                     position: (62, 24),
                    },
                   ],
                   position: (62, 23),
                  },
                 },
                ],
                recursive: false,
                position: (59, 25),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "socket",
                position: (64, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (64, 16),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (65, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "socket",
                   position: (65, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (66, 9),
                    },
                   ],
                  },
                  to: Map {
                   bindings: [
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "path",
                        position: (67, 11),
                       },
                      ],
                     },
                     to: String {
                      parts: [
                       Raw {
                        content: "/run/postgrey.sock",
                        position: (67, 19),
                       },
                      ],
                      position: (67, 18),
                     },
                    },
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "mode",
                        position: (68, 11),
                       },
                      ],
                     },
                     to: String {
                      parts: [
                       Raw {
                        content: "0777",
                        position: (68, 19),
                       },
                      ],
                      position: (68, 18),
                     },
                    },
                   ],
                   recursive: false,
                   position: (66, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "example",
                     position: (70, 9),
                    },
                   ],
                  },
                  to: Map {
                   bindings: [
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "addr",
                        position: (71, 11),
                       },
                      ],
                     },
                     to: String {
                      parts: [
                       Raw {
                        content: "127.0.0.1",
                        position: (71, 19),
                       },
                      ],
                      position: (71, 18),
                     },
                    },
                    Binding {
                     from: AttributePath {
                      parts: [
                       Raw {
                        content: "port",
                        position: (72, 11),
                       },
                      ],
                     },
                     to: Int {
                      value: 10030,
                      position: (72, 18),
                     },
                    },
                   ],
                   recursive: false,
                   position: (70, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (74, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Socket to bind to",
                     position: (74, 24),
                    },
                   ],
                   position: (74, 23),
                  },
                 },
                ],
                recursive: false,
                position: (64, 25),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "greylistText",
                position: (76, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (76, 22),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (77, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "str",
                   position: (77, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (78, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Greylisted for %%s seconds",
                     position: (78, 20),
                    },
                   ],
                   position: (78, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (79, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Response status text for greylisted messages; use %%s for seconds left until greylisting is over and %%r for mail domain of recipient",
                     position: (79, 24),
                    },
                   ],
                   position: (79, 23),
                  },
                 },
                ],
                recursive: false,
                position: (76, 31),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "greylistAction",
                position: (81, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (81, 24),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (82, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "str",
                   position: (82, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (83, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "DEFER_IF_PERMIT",
                     position: (83, 20),
                    },
                   ],
                   position: (83, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (84, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Response status for greylisted messages (see access(5))",
                     position: (84, 24),
                    },
                   ],
                   position: (84, 23),
                  },
                 },
                ],
                recursive: false,
                position: (81, 33),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "greylistHeader",
                position: (86, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (86, 24),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (87, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "str",
                   position: (87, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (88, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "X-Greylist: delayed %%t seconds by postgrey-%%v at %%h; %%d",
                     position: (88, 20),
                    },
                   ],
                   position: (88, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (89, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Prepend header to greylisted mails; use %%t for seconds delayed due to greylisting, %%v for the version of postgrey, %%d for the date, and %%h for the host",
                     position: (89, 24),
                    },
                   ],
                   position: (89, 23),
                  },
                 },
                ],
                recursive: false,
                position: (86, 33),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "delay",
                position: (91, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (91, 15),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (92, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "natural",
                   position: (92, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (93, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 300,
                   position: (93, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (94, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Greylist for N seconds",
                     position: (94, 24),
                    },
                   ],
                   position: (94, 23),
                  },
                 },
                ],
                recursive: false,
                position: (91, 24),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "maxAge",
                position: (96, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (96, 16),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (97, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "natural",
                   position: (97, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (98, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 35,
                   position: (98, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (99, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Delete entries from whitelist if they haven't been seen for N days",
                     position: (99, 24),
                    },
                   ],
                   position: (99, 23),
                  },
                 },
                ],
                recursive: false,
                position: (96, 25),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "retryWindow",
                position: (101, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (101, 21),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (102, 9),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "either",
                    position: (102, 16),
                   },
                   arguments: [
                    Variable {
                     identifier: "str",
                     position: (102, 23),
                    },
                    Variable {
                     identifier: "natural",
                     position: (102, 27),
                    },
                   ],
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (103, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 2,
                   position: (103, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "example",
                     position: (104, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "12h",
                     position: (104, 20),
                    },
                   ],
                   position: (104, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (105, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Allow N days for the first retry. Use string with appended 'h' to specify time in hours",
                     position: (105, 24),
                    },
                   ],
                   position: (105, 23),
                  },
                 },
                ],
                recursive: false,
                position: (101, 30),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "lookupBySubnet",
                position: (107, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (107, 24),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (108, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "bool",
                   position: (108, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (109, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "true",
                   position: (109, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (110, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Strip the last N bits from IP addresses, determined by IPv4CIDR and IPv6CIDR",
                     position: (110, 24),
                    },
                   ],
                   position: (110, 23),
                  },
                 },
                ],
                recursive: false,
                position: (107, 33),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "IPv4CIDR",
                position: (112, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (112, 18),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (113, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "natural",
                   position: (113, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (114, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 24,
                   position: (114, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (115, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Strip N bits from IPv4 addresses if lookupBySubnet is true",
                     position: (115, 24),
                    },
                   ],
                   position: (115, 23),
                  },
                 },
                ],
                recursive: false,
                position: (112, 27),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "IPv6CIDR",
                position: (117, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (117, 18),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (118, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "natural",
                   position: (118, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (119, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 64,
                   position: (119, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (120, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Strip N bits from IPv6 addresses if lookupBySubnet is true",
                     position: (120, 24),
                    },
                   ],
                   position: (120, 23),
                  },
                 },
                ],
                recursive: false,
                position: (117, 27),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "privacy",
                position: (122, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (122, 17),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (123, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "bool",
                   position: (123, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (124, 9),
                    },
                   ],
                  },
                  to: Variable {
                   identifier: "true",
                   position: (124, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (125, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Store data using one-way hash functions (SHA1)",
                     position: (125, 24),
                    },
                   ],
                   position: (125, 23),
                  },
                 },
                ],
                recursive: false,
                position: (122, 26),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "autoWhitelist",
                position: (127, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (127, 23),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (128, 9),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "nullOr",
                    position: (128, 16),
                   },
                   arguments: [
                    Variable {
                     identifier: "natural'",
                     position: (128, 23),
                    },
                   ],
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (129, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 5,
                   position: (129, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (130, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Whitelist clients after successful delivery of N messages",
                     position: (130, 24),
                    },
                   ],
                   position: (130, 23),
                  },
                 },
                ],
                recursive: false,
                position: (127, 32),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "whitelistClients",
                position: (132, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (132, 26),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (133, 9),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "listOf",
                    position: (133, 16),
                   },
                   arguments: [
                    Variable {
                     identifier: "path",
                     position: (133, 23),
                    },
                   ],
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (134, 9),
                    },
                   ],
                  },
                  to: List {
                   elements: [],
                   position: (134, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (135, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Client address whitelist files (see postgrey(8))",
                     position: (135, 24),
                    },
                   ],
                   position: (135, 23),
                  },
                 },
                ],
                recursive: false,
                position: (132, 35),
               },
              ],
             },
            },
            Binding {
             from: AttributePath {
              parts: [
               Raw {
                content: "whitelistRecipients",
                position: (137, 7),
               },
              ],
             },
             to: FunctionApplication {
              function: Variable {
               identifier: "mkOption",
               position: (137, 29),
              },
              arguments: [
               Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "type",
                     position: (138, 9),
                    },
                   ],
                  },
                  to: FunctionApplication {
                   function: Variable {
                    identifier: "listOf",
                    position: (138, 16),
                   },
                   arguments: [
                    Variable {
                     identifier: "path",
                     position: (138, 23),
                    },
                   ],
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "default",
                     position: (139, 9),
                    },
                   ],
                  },
                  to: List {
                   elements: [],
                   position: (139, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "description",
                     position: (140, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "Recipient address whitelist files (see postgrey(8))",
                     position: (140, 24),
                    },
                   ],
                   position: (140, 23),
                  },
                 },
                ],
                recursive: false,
                position: (137, 38),
               },
              ],
             },
            },
           ],
           recursive: false,
           position: (58, 37),
          },
          position: (58, 25),
         },
        },
       ],
       recursive: false,
       position: (57, 13),
      },
     },
     Binding {
      from: AttributePath {
       parts: [
        Raw {
         content: "config",
         position: (145, 3),
        },
       ],
      },
      to: FunctionApplication {
       function: Variable {
        identifier: "mkIf",
        position: (145, 12),
       },
       arguments: [
        PropertyAccess {
         expression: Variable {
          identifier: "cfg",
          position: (145, 17),
         },
         attribute_path: AttributePath {
          parts: [
           Raw {
            content: "enable",
            position: (145, 21),
           },
          ],
         },
         default: None,
        },
        Map {
         bindings: [
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "environment",
              position: (147, 5),
             },
             Raw {
              content: "systemPackages",
              position: (147, 17),
             },
            ],
           },
           to: List {
            elements: [
             PropertyAccess {
              expression: Variable {
               identifier: "pkgs",
               position: (147, 36),
              },
              attribute_path: AttributePath {
               parts: [
                Raw {
                 content: "postgrey",
                 position: (147, 41),
                },
               ],
              },
              default: None,
             },
            ],
            position: (147, 34),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "users",
              position: (149, 5),
             },
            ],
           },
           to: Map {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "users",
                 position: (150, 7),
                },
               ],
              },
              to: Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "postgrey",
                    position: (151, 9),
                   },
                  ],
                 },
                 to: Map {
                  bindings: [
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "description",
                       position: (152, 11),
                      },
                     ],
                    },
                    to: String {
                     parts: [
                      Raw {
                       content: "Postgrey Daemon",
                       position: (152, 26),
                      },
                     ],
                     position: (152, 25),
                    },
                   },
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "uid",
                       position: (153, 11),
                      },
                     ],
                    },
                    to: PropertyAccess {
                     expression: Variable {
                      identifier: "config",
                      position: (153, 17),
                     },
                     attribute_path: AttributePath {
                      parts: [
                       Raw {
                        content: "ids",
                        position: (153, 24),
                       },
                       Raw {
                        content: "uids",
                        position: (153, 28),
                       },
                       Raw {
                        content: "postgrey",
                        position: (153, 33),
                       },
                      ],
                     },
                     default: None,
                    },
                   },
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "group",
                       position: (154, 11),
                      },
                     ],
                    },
                    to: String {
                     parts: [
                      Raw {
                       content: "postgrey",
                       position: (154, 20),
                      },
                     ],
                     position: (154, 19),
                    },
                   },
                  ],
                  recursive: false,
                  position: (151, 20),
                 },
                },
               ],
               recursive: false,
               position: (150, 15),
              },
             },
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "groups",
                 position: (157, 7),
                },
               ],
              },
              to: Map {
               bindings: [
                Binding {
                 from: AttributePath {
                  parts: [
                   Raw {
                    content: "postgrey",
                    position: (158, 9),
                   },
                  ],
                 },
                 to: Map {
                  bindings: [
                   Binding {
                    from: AttributePath {
                     parts: [
                      Raw {
                       content: "gid",
                       position: (159, 11),
                      },
                     ],
                    },
                    to: PropertyAccess {
                     expression: Variable {
                      identifier: "config",
                      position: (159, 17),
                     },
                     attribute_path: AttributePath {
                      parts: [
                       Raw {
                        content: "ids",
                        position: (159, 24),
                       },
                       Raw {
                        content: "gids",
                        position: (159, 28),
                       },
                       Raw {
                        content: "postgrey",
                        position: (159, 33),
                       },
                      ],
                     },
                     default: None,
                    },
                   },
                  ],
                  recursive: false,
                  position: (158, 20),
                 },
                },
               ],
               recursive: false,
               position: (157, 16),
              },
             },
            ],
            recursive: false,
            position: (149, 13),
           },
          },
          Binding {
           from: AttributePath {
            parts: [
             Raw {
              content: "systemd",
              position: (164, 5),
             },
             Raw {
              content: "services",
              position: (164, 13),
             },
             Raw {
              content: "postgrey",
              position: (164, 22),
             },
            ],
           },
           to: LetIn {
            bindings: [
             Binding {
              from: AttributePath {
               parts: [
                Raw {
                 content: "bind-flag",
                 position: (165, 7),
                },
               ],
              },
              to: IfThenElse {
               predicate: HasProperty {
                expression: PropertyAccess {
                 expression: Variable {
                  identifier: "cfg",
                  position: (165, 22),
                 },
                 attribute_path: AttributePath {
                  parts: [
                   Raw {
                    content: "socket",
                    position: (165, 26),
                   },
                  ],
                 },
                 default: None,
                },
                attribute_path: AttributePath {
                 parts: [
                  Raw {
                   content: "path",
                   position: (165, 35),
                  },
                 ],
                },
                position: (165, 33),
               },
               then: String {
                parts: [
                 Raw {
                  content: "--unix=",
                  position: (166, 10),
                 },
                 Interpolation {
                  expression: PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (166, 19),
                   },
                   attribute_path: AttributePath {
                    parts: [
                     Raw {
                      content: "socket",
                      position: (166, 23),
                     },
                     Raw {
                      content: "path",
                      position: (166, 30),
                     },
                    ],
                   },
                   default: None,
                  },
                 },
                 Raw {
                  content: " --socketmode=",
                  position: (166, 35),
                 },
                 Interpolation {
                  expression: PropertyAccess {
                   expression: Variable {
                    identifier: "cfg",
                    position: (166, 51),
                   },
                   attribute_path: AttributePath {
                    parts: [
                     Raw {
                      content: "socket",
                      position: (166, 55),
                     },
                     Raw {
                      content: "mode",
                      position: (166, 62),
                     },
                    ],
                   },
                   default: None,
                  },
                 },
                ],
                position: (166, 9),
               },
               else_: String {
                parts: [
                 Raw {
                  content: "--inet=",
                  position: (168, 11),
                 },
                 Interpolation {
                  expression: FunctionApplication {
                   function: Variable {
                    identifier: "optionalString",
                    position: (168, 20),
                   },
                   arguments: [
                    Parentheses {
                     expression: BinaryOperation {
                      operator: NotEqualTo,
                      operands: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (168, 36),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "socket",
                           position: (168, 40),
                          },
                          Raw {
                           content: "addr",
                           position: (168, 47),
                          },
                         ],
                        },
                        default: None,
                       },
                       Variable {
                        identifier: "null",
                        position: (168, 55),
                       },
                      ],
                      position: (168, 52),
                     },
                     position: (168, 35),
                    },
                    Parentheses {
                     expression: BinaryOperation {
                      operator: Addition,
                      operands: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (168, 62),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "socket",
                           position: (168, 66),
                          },
                          Raw {
                           content: "addr",
                           position: (168, 73),
                          },
                         ],
                        },
                        default: None,
                       },
                       String {
                        parts: [
                         Raw {
                          content: ":",
                          position: (168, 81),
                         },
                        ],
                        position: (168, 80),
                       },
                      ],
                      position: (168, 78),
                     },
                     position: (168, 61),
                    },
                   ],
                  },
                 },
                 Interpolation {
                  expression: FunctionApplication {
                   function: Variable {
                    identifier: "toString",
                    position: (168, 87),
                   },
                   arguments: [
                    PropertyAccess {
                     expression: Variable {
                      identifier: "cfg",
                      position: (168, 96),
                     },
                     attribute_path: AttributePath {
                      parts: [
                       Raw {
                        content: "socket",
                        position: (168, 100),
                       },
                       Raw {
                        content: "port",
                        position: (168, 107),
                       },
                      ],
                     },
                     default: None,
                    },
                   ],
                  },
                 },
                ],
                position: (168, 9),
               },
               position: (165, 19),
              },
             },
            ],
            target: Map {
             bindings: [
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "description",
                  position: (170, 7),
                 },
                ],
               },
               to: String {
                parts: [
                 Raw {
                  content: "Postfix Greylisting Service",
                  position: (170, 22),
                 },
                ],
                position: (170, 21),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "wantedBy",
                  position: (171, 7),
                 },
                ],
               },
               to: List {
                elements: [
                 String {
                  parts: [
                   Raw {
                    content: "multi-user.target",
                    position: (171, 21),
                   },
                  ],
                  position: (171, 20),
                 },
                ],
                position: (171, 18),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "before",
                  position: (172, 7),
                 },
                ],
               },
               to: List {
                elements: [
                 String {
                  parts: [
                   Raw {
                    content: "postfix.service",
                    position: (172, 19),
                   },
                  ],
                  position: (172, 18),
                 },
                ],
                position: (172, 16),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "preStart",
                  position: (173, 7),
                 },
                ],
               },
               to: String {
                parts: [
                 Raw {
                  content: "mkdir -p /var/postgrey\nchown postgrey:postgrey /var/postgrey\nchmod 0770 /var/postgrey\n",
                  position: (174, 1),
                 },
                ],
                position: (173, 18),
               },
              },
              Binding {
               from: AttributePath {
                parts: [
                 Raw {
                  content: "serviceConfig",
                  position: (178, 7),
                 },
                ],
               },
               to: Map {
                bindings: [
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "Type",
                     position: (179, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "simple",
                     position: (179, 17),
                    },
                   ],
                   position: (179, 16),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "ExecStart",
                     position: (180, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Interpolation {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "pkgs",
                       position: (180, 25),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "postgrey",
                         position: (180, 30),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                    Raw {
                     content: "/bin/postgrey \\\n          ",
                     position: (180, 39),
                    },
                    Interpolation {
                     expression: Variable {
                      identifier: "bind-flag",
                      position: (181, 13),
                     },
                    },
                    Raw {
                     content: " \\\n          --group=postgrey --user=postgrey \\\n          --dbdir=/var/postgrey \\\n          --delay=",
                     position: (181, 23),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (184, 21),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (184, 30),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "delay",
                           position: (184, 34),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          --max-age=",
                     position: (184, 40),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (185, 23),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (185, 32),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "maxAge",
                           position: (185, 36),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          --retry-window=",
                     position: (185, 43),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (186, 28),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (186, 37),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "retryWindow",
                           position: (186, 41),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          ",
                     position: (186, 53),
                    },
                    Interpolation {
                     expression: IfThenElse {
                      predicate: PropertyAccess {
                       expression: Variable {
                        identifier: "cfg",
                        position: (187, 16),
                       },
                       attribute_path: AttributePath {
                        parts: [
                         Raw {
                          content: "lookupBySubnet",
                          position: (187, 20),
                         },
                        ],
                       },
                       default: None,
                      },
                      then: String {
                       parts: [
                        Raw {
                         content: "--lookup-by-subnet",
                         position: (187, 41),
                        },
                       ],
                       position: (187, 40),
                      },
                      else_: String {
                       parts: [
                        Raw {
                         content: "--lookup-by-host",
                         position: (187, 67),
                        },
                       ],
                       position: (187, 66),
                      },
                      position: (187, 13),
                     },
                    },
                    Raw {
                     content: " \\\n          --ipv4cidr=",
                     position: (187, 85),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (188, 24),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (188, 33),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "IPv4CIDR",
                           position: (188, 37),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " --ipv6cidr=",
                     position: (188, 46),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (188, 60),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (188, 69),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "IPv6CIDR",
                           position: (188, 73),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          ",
                     position: (188, 82),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "optionalString",
                       position: (189, 13),
                      },
                      arguments: [
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (189, 28),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "privacy",
                           position: (189, 32),
                          },
                         ],
                        },
                        default: None,
                       },
                       String {
                        parts: [
                         Raw {
                          content: "--privacy",
                          position: (189, 41),
                         },
                        ],
                        position: (189, 40),
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          --auto-whitelist-clients=",
                     position: (189, 52),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "toString",
                       position: (190, 38),
                      },
                      arguments: [
                       Parentheses {
                        expression: IfThenElse {
                         predicate: BinaryOperation {
                          operator: EqualTo,
                          operands: [
                           PropertyAccess {
                            expression: Variable {
                             identifier: "cfg",
                             position: (190, 51),
                            },
                            attribute_path: AttributePath {
                             parts: [
                              Raw {
                               content: "autoWhitelist",
                               position: (190, 55),
                              },
                             ],
                            },
                            default: None,
                           },
                           Variable {
                            identifier: "null",
                            position: (190, 72),
                           },
                          ],
                          position: (190, 69),
                         },
                         then: Int {
                          value: 0,
                          position: (190, 82),
                         },
                         else_: PropertyAccess {
                          expression: Variable {
                           identifier: "cfg",
                           position: (190, 89),
                          },
                          attribute_path: AttributePath {
                           parts: [
                            Raw {
                             content: "autoWhitelist",
                             position: (190, 93),
                            },
                           ],
                          },
                          default: None,
                         },
                         position: (190, 48),
                        },
                        position: (190, 47),
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          --greylist-action=",
                     position: (190, 108),
                    },
                    Interpolation {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "cfg",
                       position: (191, 31),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "greylistAction",
                         position: (191, 35),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                    Raw {
                     content: " \\\n          --greylist-text=\"",
                     position: (191, 50),
                    },
                    Interpolation {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "cfg",
                       position: (192, 30),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "greylistText",
                         position: (192, 34),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                    Raw {
                     content: "\" \\\n          --x-greylist-header=\"",
                     position: (192, 47),
                    },
                    Interpolation {
                     expression: PropertyAccess {
                      expression: Variable {
                       identifier: "cfg",
                       position: (193, 34),
                      },
                      attribute_path: AttributePath {
                       parts: [
                        Raw {
                         content: "greylistHeader",
                         position: (193, 38),
                        },
                       ],
                      },
                      default: None,
                     },
                    },
                    Raw {
                     content: "\" \\\n          ",
                     position: (193, 53),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "concatMapStringsSep",
                       position: (194, 13),
                      },
                      arguments: [
                       String {
                        parts: [
                         Raw {
                          content: " ",
                          position: (194, 34),
                         },
                        ],
                        position: (194, 33),
                       },
                       Parentheses {
                        expression: Function {
                         argument: Simple {
                          identifier: "x",
                         },
                         definition: BinaryOperation {
                          operator: Addition,
                          operands: [
                           String {
                            parts: [
                             Raw {
                              content: "--whitelist-clients=",
                              position: (194, 42),
                             },
                            ],
                            position: (194, 41),
                           },
                           Variable {
                            identifier: "x",
                            position: (194, 66),
                           },
                          ],
                          position: (194, 64),
                         },
                         position: (194, 38),
                        },
                        position: (194, 37),
                       },
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (194, 69),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "whitelistClients",
                           position: (194, 73),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: " \\\n          ",
                     position: (194, 90),
                    },
                    Interpolation {
                     expression: FunctionApplication {
                      function: Variable {
                       identifier: "concatMapStringsSep",
                       position: (195, 13),
                      },
                      arguments: [
                       String {
                        parts: [
                         Raw {
                          content: " ",
                          position: (195, 34),
                         },
                        ],
                        position: (195, 33),
                       },
                       Parentheses {
                        expression: Function {
                         argument: Simple {
                          identifier: "x",
                         },
                         definition: BinaryOperation {
                          operator: Addition,
                          operands: [
                           String {
                            parts: [
                             Raw {
                              content: "--whitelist-recipients=",
                              position: (195, 42),
                             },
                            ],
                            position: (195, 41),
                           },
                           Variable {
                            identifier: "x",
                            position: (195, 69),
                           },
                          ],
                          position: (195, 67),
                         },
                         position: (195, 38),
                        },
                        position: (195, 37),
                       },
                       PropertyAccess {
                        expression: Variable {
                         identifier: "cfg",
                         position: (195, 72),
                        },
                        attribute_path: AttributePath {
                         parts: [
                          Raw {
                           content: "whitelistRecipients",
                           position: (195, 76),
                          },
                         ],
                        },
                        default: None,
                       },
                      ],
                     },
                    },
                    Raw {
                     content: "\n        ",
                     position: (195, 96),
                    },
                   ],
                   position: (180, 21),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "Restart",
                     position: (197, 9),
                    },
                   ],
                  },
                  to: String {
                   parts: [
                    Raw {
                     content: "always",
                     position: (197, 20),
                    },
                   ],
                   position: (197, 19),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "RestartSec",
                     position: (198, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 5,
                   position: (198, 22),
                  },
                 },
                 Binding {
                  from: AttributePath {
                   parts: [
                    Raw {
                     content: "TimeoutSec",
                     position: (199, 9),
                    },
                   ],
                  },
                  to: Int {
                   value: 10,
                   position: (199, 22),
                  },
                 },
                ],
                recursive: false,
                position: (178, 23),
               },
              },
             ],
             recursive: false,
             position: (169, 8),
            },
            position: (164, 33),
           },
          },
         ],
         recursive: false,
         position: (145, 28),
        },
       ],
      },
     },
    ],
    recursive: false,
    position: (44, 4),
   },
   position: (3, 11),
  },
  position: (3, 1),
 },
 position: (1, 1),
}