show.txt

WithConfig
  _
  Nothing
  (Check
     Nothing
     False
     _
     (Alt
        (Check
           Nothing
           False
           _
           (Setting
              Nothing
              (Setting
                 [ DashedLong ('c' :| "onfig-file") ]
                 [ _ ]
                 False
                 Nothing
                 True
                 (Just ("CONFIG_FILE" :| []))
                 Nothing
                 Nothing
                 (Just "FILE_PATH")
                 (Just "Path to the configuration file"))))
        (Check Nothing False _ (Pure _))))
  (Commands
     Nothing
     Nothing
     [ Command
         "top"
         "command without subcommands"
         (Check
            Nothing
            True
            _
            (Setting
               Nothing
               (Setting
                  [ DashedLong ('n' :| "ame") ]
                  [ _ ]
                  False
                  Nothing
                  True
                  (Just ("NAME" :| []))
                  (Just
                     (ConfigValSetting
                        ("name" :| [])
                        BimapCodec
                        _
                        _
                        (EitherCodec
                           PossiblyJointUnion
                           NullCodec
                           (BimapCodec _ _ (StringCodec Nothing))) :|
                        []))
                  Nothing
                  (Just "NAME")
                  (Just "name"))))
     , Command
         "sub"
         "command with subcommands"
         (Ap
            (Commands
               Nothing
               Nothing
               [ Command "a" "A" (Pure _) , Command "b" "B" (Pure _) ])
            (Commands
               Nothing
               (Just "c")
               [ Command "c" "C" (Pure _) , Command "d" "D" (Pure _) ]))
     ])