WithConfig
  _
  Nothing
  (Pure _)
  (Ap
     (Ap
        (Ap
           (Ap
              (Check
                 Nothing
                 False
                 (fromList [ "read-secret" ])
                 _
                 (Check
                    Nothing
                    False
                    (fromList [])
                    _
                    (Setting
                       Nothing
                       (Setting
                          [ DashedLong ('f' :| "irst-secret-file") ]
                          [ _ ]
                          False
                          Nothing
                          True
                          (Just
                             (EnvVarSetting
                                { envVarSettingVar = "FIRST_SECRET_FILE"
                                , envVarSettingAllowPrefix = True
                                } :|
                                []))
                          (Just
                             (ConfigValSetting
                                ("first-secret-file" :| [])
                                BimapCodec
                                _
                                _
                                (EitherCodec
                                   PossiblyJointUnion
                                   NullCodec
                                   (BimapCodec _ _ (StringCodec Nothing))) :|
                                []))
                          Nothing
                          []
                          False
                          (Just "FILE_PATH")
                          (Just "First example secret")
                          (Just _)
                          (fromList [])))))
              (Alt
                 (Check
                    Nothing
                    True
                    (fromList [ "read-secret" ])
                    _
                    (Setting
                       Nothing
                       (Setting
                          [ DashedLong ('s' :| "econd-secret") ]
                          [ _ , _ ]
                          False
                          Nothing
                          True
                          Nothing
                          Nothing
                          Nothing
                          []
                          False
                          (Just "SECRET")
                          (Just "Second example secret, bare or in a file")
                          Nothing
                          (fromList []))))
                 (Alt
                    (Check
                       Nothing
                       False
                       (fromList [ "read-secret" ])
                       _
                       (Check
                          Nothing
                          False
                          (fromList [])
                          _
                          (Setting
                             Nothing
                             (Setting
                                [ DashedLong ('s' :| "econd-secret-file") ]
                                [ _ , _ ]
                                False
                                Nothing
                                True
                                Nothing
                                Nothing
                                Nothing
                                []
                                False
                                (Just "FILE_PATH")
                                (Just "Second example secret, bare or in a file")
                                Nothing
                                (fromList [])))))
                    (Alt
                       (Check
                          Nothing
                          True
                          (fromList [ "read-secret" ])
                          _
                          (Setting
                             Nothing
                             (Setting
                                []
                                [ _ , _ ]
                                False
                                Nothing
                                False
                                (Just
                                   (EnvVarSetting
                                      { envVarSettingVar = "SECOND_SECRET"
                                      , envVarSettingAllowPrefix = True
                                      } :|
                                      []))
                                Nothing
                                Nothing
                                []
                                False
                                (Just "SECRET")
                                (Just "Second example secret, bare or in a file")
                                Nothing
                                (fromList []))))
                       (Alt
                          (Check
                             Nothing
                             False
                             (fromList [ "read-secret" ])
                             _
                             (Check
                                Nothing
                                False
                                (fromList [])
                                _
                                (Setting
                                   Nothing
                                   (Setting
                                      []
                                      [ _ , _ ]
                                      False
                                      Nothing
                                      False
                                      (Just
                                         (EnvVarSetting
                                            { envVarSettingVar = "SECOND_SECRET_FILE"
                                            , envVarSettingAllowPrefix = True
                                            } :|
                                            []))
                                      Nothing
                                      Nothing
                                      []
                                      False
                                      (Just "FILE_PATH")
                                      (Just "Second example secret, bare or in a file")
                                      Nothing
                                      (fromList [])))))
                          (Alt
                             (Check
                                Nothing
                                True
                                (fromList [ "read-secret" ])
                                _
                                (Setting
                                   Nothing
                                   (Setting
                                      []
                                      [ _ , _ ]
                                      False
                                      Nothing
                                      False
                                      Nothing
                                      (Just
                                         (ConfigValSetting
                                            ("second-secret" :| [])
                                            BimapCodec
                                            _
                                            _
                                            (EitherCodec
                                               PossiblyJointUnion
                                               NullCodec
                                               (BimapCodec _ _ (StringCodec Nothing))) :|
                                            []))
                                      Nothing
                                      []
                                      False
                                      (Just "SECRET")
                                      (Just "Second example secret, bare or in a file")
                                      Nothing
                                      (fromList []))))
                             (Check
                                Nothing
                                False
                                (fromList [ "read-secret" ])
                                _
                                (Check
                                   Nothing
                                   False
                                   (fromList [])
                                   _
                                   (Setting
                                      Nothing
                                      (Setting
                                         []
                                         [ _ , _ ]
                                         False
                                         Nothing
                                         False
                                         Nothing
                                         (Just
                                            (ConfigValSetting
                                               ("second-secret-file" :| [])
                                               BimapCodec
                                               _
                                               _
                                               (EitherCodec
                                                  PossiblyJointUnion
                                                  NullCodec
                                                  (BimapCodec _ _ (StringCodec Nothing))) :|
                                               []))
                                         Nothing
                                         []
                                         False
                                         (Just "FILE_PATH")
                                         (Just "Second example secret, bare or in a file")
                                         Nothing
                                         (fromList [])))))))))))
           (Alt
              (Check
                 Nothing
                 True
                 (fromList [ "read-secret" ])
                 _
                 (Setting
                    Nothing
                    (Setting
                       [ DashedLong ('s' :| "econd-secret") ]
                       [ _ , _ ]
                       False
                       Nothing
                       True
                       Nothing
                       Nothing
                       Nothing
                       []
                       False
                       (Just "SECRET")
                       (Just "Second example secret, bare or in a file, only option")
                       Nothing
                       (fromList []))))
              (Check
                 Nothing
                 False
                 (fromList [ "read-secret" ])
                 _
                 (Check
                    Nothing
                    False
                    (fromList [])
                    _
                    (Setting
                       Nothing
                       (Setting
                          [ DashedLong ('s' :| "econd-secret-file") ]
                          [ _ , _ ]
                          False
                          Nothing
                          True
                          Nothing
                          Nothing
                          Nothing
                          []
                          False
                          (Just "FILE_PATH")
                          (Just "Second example secret, bare or in a file, only option")
                          Nothing
                          (fromList [])))))))
        (Alt
           (Check
              Nothing
              True
              (fromList [ "read-secret" ])
              _
              (Setting
                 Nothing
                 (Setting
                    []
                    [ _ , _ ]
                    False
                    Nothing
                    False
                    (Just
                       (EnvVarSetting
                          { envVarSettingVar = "second-secret"
                          , envVarSettingAllowPrefix = True
                          } :|
                          []))
                    Nothing
                    Nothing
                    []
                    False
                    (Just "SECRET")
                    (Just "Second example secret, bare or in a file, only env")
                    Nothing
                    (fromList []))))
           (Check
              Nothing
              False
              (fromList [ "read-secret" ])
              _
              (Check
                 Nothing
                 False
                 (fromList [])
                 _
                 (Setting
                    Nothing
                    (Setting
                       []
                       [ _ , _ ]
                       False
                       Nothing
                       False
                       (Just
                          (EnvVarSetting
                             { envVarSettingVar = "second-secret_FILE"
                             , envVarSettingAllowPrefix = True
                             } :|
                             []))
                       Nothing
                       Nothing
                       []
                       False
                       (Just "FILE_PATH")
                       (Just "Second example secret, bare or in a file, only env")
                       Nothing
                       (fromList [])))))))
     (Alt
        (Check
           Nothing
           True
           (fromList [ "read-secret" ])
           _
           (Setting
              Nothing
              (Setting
                 []
                 [ _ , _ ]
                 False
                 Nothing
                 False
                 Nothing
                 (Just
                    (ConfigValSetting
                       ("second-secret" :| [])
                       BimapCodec
                       _
                       _
                       (EitherCodec
                          PossiblyJointUnion
                          NullCodec
                          (BimapCodec _ _ (StringCodec Nothing))) :|
                       []))
                 Nothing
                 []
                 False
                 (Just "SECRET")
                 (Just "Second example secret, bare or in a file, only conf")
                 Nothing
                 (fromList []))))
        (Check
           Nothing
           False
           (fromList [ "read-secret" ])
           _
           (Check
              Nothing
              False
              (fromList [])
              _
              (Setting
                 Nothing
                 (Setting
                    []
                    [ _ , _ ]
                    False
                    Nothing
                    False
                    Nothing
                    (Just
                       (ConfigValSetting
                          ("second-secret-file" :| [])
                          BimapCodec
                          _
                          _
                          (EitherCodec
                             PossiblyJointUnion
                             NullCodec
                             (BimapCodec _ _ (StringCodec Nothing))) :|
                          []))
                    Nothing
                    []
                    False
                    (Just "FILE_PATH")
                    (Just "Second example secret, bare or in a file, only conf")
                    Nothing
                    (fromList [])))))))