verify-dhall>                                                                                List
verify-dhall>                                                                                  Text
verify-dhall>                                                                            }
verify-dhall>                                                                        }
verify-dhall>                                                                    ) ->
verify-dhall>                                                                    merge
verify-dhall>                                                                      { None = Some
verify-dhall>                                                                        { init =
verify-dhall>                                                                            [] : List
verify-dhall>                                                                                   { head :
verify-dhall>                                                                                       Text
verify-dhall>                                                                                   , tail :
verify-dhall>                                                                                       List
verify-dhall>                                                                                         Text
verify-dhall>                                                                                   }
verify-dhall>                                                                        , last =
verify-dhall>                                                                            x
verify-dhall>                                                                        }
verify-dhall>                                                                      , Some =
verify-dhall>                                                                          \ ( ny
verify-dhall>                                                                            : { init :
verify-dhall>                                                                                  List
verify-dhall>                                                                                    { head :
verify-dhall>                                                                                        Text
verify-dhall>                                                                                    , tail :
verify-dhall>                                                                                        List
verify-dhall>                                                                                          Text
verify-dhall>                                                                                    }
verify-dhall>                                                                              , last :
verify-dhall>                                                                                  { head :
verify-dhall>                                                                                      Text
verify-dhall>                                                                                  , tail :
verify-dhall>                                                                                      List
verify-dhall>                                                                                        Text
verify-dhall>                                                                                  }
verify-dhall>                                                                              }
verify-dhall>                                                                            ) ->
verify-dhall>                                                                            Some
verify-dhall>                                                                              (     ny
verify-dhall>                                                                                //  { init =
verify-dhall>                                                                                          [ x
verify-dhall>                                                                                          ]
verify-dhall>                                                                                        # ny.init
verify-dhall>                                                                                    }
verify-dhall>                                                                              )
verify-dhall>                                                                      }
verify-dhall>                                                                      acc
verify-dhall>                                                                )
verify-dhall>                                                                ( None
verify-dhall>                                                                    { init :
verify-dhall>                                                                        List
verify-dhall>                                                                          { head :
verify-dhall>                                                                              Text
verify-dhall>                                                                          , tail :
verify-dhall>                                                                              List
verify-dhall>                                                                                Text
verify-dhall>                                                                          }
verify-dhall>                                                                    , last :
verify-dhall>                                                                        { head :
verify-dhall>                                                                            Text
verify-dhall>                                                                        , tail :
verify-dhall>                                                                            List
verify-dhall>                                                                              Text
verify-dhall>                                                                        }
verify-dhall>                                                                    }
verify-dhall>                                                                )
verify-dhall>                                                            )
verify-dhall>                                                        ).head.head} ]"
verify-dhall>                                               , tail = [] : List Text
verify-dhall>                                               }
verify-dhall>                                             , Some =
verify-dhall>                                                 \ ( ny
verify-dhall>                                                   : { init : List Text
verify-dhall>                                                     , last : Text
verify-dhall>                                                     }
verify-dhall>                                                   ) ->
verify-dhall>                                                   { head = "["
verify-dhall>                                                   , tail =
verify-dhall>                                                         List/fold
verify-dhall>                                                           Text
verify-dhall>                                                           (   [ ( merge
verify-dhall>                                                                     { None =
verify-dhall>                                                                       { head =
verify-dhall>                                                                           merge
verify-dhall>                                                                             { Complex =
verify-dhall>                                                                                 \ ( x
verify-dhall>                                                                                   : { head :
verify-dhall>                                                                                         Text
verify-dhall>                                                                                     , tail :
verify-dhall>                                                                                         List
verify-dhall>                                                                                           Text
verify-dhall>                                                                                     }
verify-dhall>                                                                                   ) ->
verify-dhall>                                                                                   x
verify-dhall>                                                                             , Simple =
verify-dhall>                                                                                 \ ( x
verify-dhall>                                                                                   : Text
verify-dhall>                                                                                   ) ->
verify-dhall>                                                                                   { head =
verify-dhall>                                                                       }