WithConfig
  _
  Nothing
  (Pure _)
  (Alt
     (Alt
        (Check
           Nothing
           True
           (fromList [])
           _
           (Setting
              Nothing
              (Setting
                 [ DashedLong ('[' :| "no-]example") ]
                 []
                 False
                 (Just _)
                 False
                 Nothing
                 Nothing
                 Nothing
                 []
                 False
                 Nothing
                 (Just "Example of a yes/no switch")
                 Nothing
                 (fromList []))))
        (Alt
           (Check
              Nothing
              True
              (fromList [])
              _
              (Setting
                 Nothing
                 (Setting
                    [ DashedLong ('n' :| "o-example") ]
                    []
                    False
                    (Just _)
                    False
                    Nothing
                    Nothing
                    Nothing
                    []
                    True
                    Nothing
                    Nothing
                    Nothing
                    (fromList []))))
           (Alt
              (Check
                 Nothing
                 True
                 (fromList [])
                 _
                 (Setting
                    Nothing
                    (Setting
                       [ DashedLong ('e' :| "xample") ]
                       []
                       False
                       (Just _)
                       False
                       Nothing
                       Nothing
                       Nothing
                       []
                       True
                       Nothing
                       Nothing
                       Nothing
                       (fromList []))))
              (Alt
                 (Check
                    Nothing
                    True
                    (fromList [])
                    _
                    (Setting
                       Nothing
                       (Setting
                          []
                          [ _ ]
                          False
                          Nothing
                          False
                          (Just
                             (EnvVarSetting
                                { envVarSettingVar = "EXAMPLE"
                                , envVarSettingAllowPrefix = True
                                } :|
                                []))
                          Nothing
                          Nothing
                          []
                          False
                          (Just "BOOL")
                          (Just "Example of a yes/no switch")
                          Nothing
                          (fromList []))))
                 (Check
                    Nothing
                    True
                    (fromList [])
                    _
                    (Setting
                       Nothing
                       (Setting
                          []
                          []
                          False
                          Nothing
                          False
                          Nothing
                          (Just
                             (ConfigValSetting
                                ("example" :| [])
                                BimapCodec
                                _
                                _
                                (EitherCodec PossiblyJointUnion NullCodec (BoolCodec Nothing)) :|
                                []))
                          Nothing
                          []
                          False
                          Nothing
                          (Just "Example of a yes/no switch")
                          Nothing
                          (fromList []))))))))
     (Pure _))