WithConfig
  _
  Nothing
  (Check
     Nothing
     False
     (fromList [])
     _
     (Alt
        (Check
           Nothing
           False
           (fromList [])
           _
           (Setting
              Nothing
              (Setting
                 [ DashedLong ('c' :| "onfig-file") ]
                 [ _ ]
                 False
                 Nothing
                 True
                 (Just
                    (EnvVarSetting
                       { envVarSettingVar = "CONFIG_FILE"
                       , envVarSettingAllowPrefix = True
                       } :|
                       []))
                 Nothing
                 Nothing
                 []
                 False
                 (Just "FILE_PATH")
                 (Just "Path to the configuration file")
                 (Just _)
                 (fromList []))))
        (Check Nothing False (fromList []) _ (Pure _))))
  (Setting
     Nothing
     (Setting
        [ DashedLong ('f' :| "oo-bar-quux") ]
        [ _ ]
        False
        Nothing
        True
        (Just
           (EnvVarSetting
              { envVarSettingVar = "FOO_BAR_QUUX"
              , envVarSettingAllowPrefix = True
              } :|
              []))
        (Just
           (ConfigValSetting
              ("foo" :| [ "bar" , "quux" ])
              BimapCodec
              _
              _
              (EitherCodec
                 PossiblyJointUnion
                 NullCodec
                 (BimapCodec _ _ (StringCodec Nothing))) :|
              []))
        Nothing
        []
        False
        (Just "STR")
        (Just "Example with sub-settings")
        Nothing
        (fromList [])))