WithConfig
  _
  Nothing
  (Pure _)
  (Commands
     Nothing
     (Just "one")
     [ Command
         "one"
         "first"
         (Check
            Nothing
            True
            (fromList [])
            _
            (Setting
               Nothing
               (Setting
                  []
                  [ _ ]
                  True
                  Nothing
                  False
                  Nothing
                  Nothing
                  Nothing
                  []
                  False
                  (Just "STR")
                  (Just "argument")
                  Nothing
                  (fromList []))))
     , Command
         "two"
         "second"
         (Ap
            (Check
               Nothing
               True
               (fromList [])
               _
               (Setting
                  Nothing
                  (Setting
                     [ DashedLong ('n' :| "umber") , DashedShort 'n' ]
                     [ _ ]
                     False
                     Nothing
                     True
                     (Just
                        (EnvVarSetting
                           { envVarSettingVar = "NUMBER"
                           , envVarSettingAllowPrefix = True
                           } :|
                           []))
                     (Just
                        (ConfigValSetting
                           ("number" :| [])
                           BimapCodec
                           _
                           _
                           (EitherCodec
                              PossiblyJointUnion
                              NullCodec
                              (BimapCodec
                                 _
                                 _
                                 (IntegerCodec
                                    Nothing
                                    Bounds
                                      { boundsLower = Just (-9223372036854775808)
                                      , boundsUpper = Just 9223372036854775807
                                      }))) :|
                           []))
                     Nothing
                     [ "5" ]
                     False
                     (Just "INT")
                     (Just "number")
                     Nothing
                     (fromList []))))
            (Alt
               (Setting
                  Nothing
                  (Setting
                     [ DashedLong ('(' :| "enable|disable)-enable") ]
                     []
                     False
                     (Just _)
                     False
                     Nothing
                     Nothing
                     Nothing
                     []
                     False
                     Nothing
                     (Just "enable extra")
                     Nothing
                     (fromList [])))
               (Alt
                  (Setting
                     Nothing
                     (Setting
                        [ DashedLong ('d' :| "isable-enable") ]
                        []
                        False
                        (Just _)
                        False
                        Nothing
                        Nothing
                        Nothing
                        []
                        True
                        Nothing
                        Nothing
                        Nothing
                        (fromList [])))
                  (Alt
                     (Setting
                        Nothing
                        (Setting
                           [ DashedLong ('e' :| "nable-enable") ]
                           []
                           False
                           (Just _)
                           False
                           Nothing
                           Nothing
                           Nothing
                           []
                           True
                           Nothing
                           Nothing
                           Nothing
                           (fromList [])))
                     (Alt
                        (Setting
                           Nothing
                           (Setting
                              []
                              [ _ ]
                              False
                              Nothing
                              False
                              (Just
                                 (EnvVarSetting
                                    { envVarSettingVar = "ENABLE"
                                    , envVarSettingAllowPrefix = True
                                    } :|
                                    []))
                              Nothing
                              Nothing
                              []
                              False
                              (Just "BOOL")
                              (Just "enable extra")
                              Nothing
                              (fromList [])))
                        (Alt
                           (Setting
                              Nothing
                              (Setting
                                 []
                                 []
                                 False
                                 Nothing
                                 False
                                 Nothing
                                 (Just
                                    (ConfigValSetting
                                       ("enable" :| [])
                                       BimapCodec
                                       _
                                       _
                                       (EitherCodec
                                          PossiblyJointUnion NullCodec (BoolCodec Nothing)) :|
                                       []))
                                 Nothing
                                 []
                                 False
                                 Nothing
                                 (Just "enable extra")
                                 Nothing
                                 (fromList [])))
                           (Pure _)))))))
     , Command "three-very-long-command-name" "third" (Pure _)
     ])