show.txt

WithConfig
  _
  Nothing
  (Check
     Nothing
     False
     _
     (Alt
        (Check
           Nothing
           False
           _
           (Setting
              Nothing
              (Setting
                 [ DashedLong ('c' :| "onfig-file") ]
                 [ _ ]
                 False
                 Nothing
                 True
                 (Just ("GREET_CONFIG_FILE" :| []))
                 Nothing
                 Nothing
                 (Just "FILE_PATH")
                 (Just "Path to the configuration file"))))
        (Check Nothing False _ (Pure _))))
  (Ap
     (Ap
        (Check
           Nothing
           True
           _
           (Setting
              Nothing
              (Setting
                 [ DashedShort 'g' , DashedLong ('g' :| "reeting") ]
                 [ _ ]
                 False
                 Nothing
                 True
                 (Just ("GREET_GREETING" :| []))
                 (Just
                    (ConfigValSetting
                       ("greeting" :| [])
                       BimapCodec
                       _
                       _
                       (EitherCodec
                          PossiblyJointUnion
                          NullCodec
                          (BimapCodec _ _ (StringCodec Nothing))) :|
                       []))
                 (Just _)
                 (Just "GREETING")
                 (Just "Greeting to use"))))
        (Setting
           Nothing
           (Setting
              []
              [ _ ]
              True
              Nothing
              False
              Nothing
              Nothing
              (Just _)
              (Just "SUBJECT")
              (Just "Who to greet"))))
     (Setting
        Nothing
        (Setting
           [ DashedShort 'p' , DashedLong ('p' :| "olite") ]
           [ _ ]
           False
           (Just _)
           False
           (Just ("GREET_POLITE" :| []))
           (Just
              (ConfigValSetting
                 ("polite" :| [])
                 BimapCodec
                 _
                 _
                 (EitherCodec PossiblyJointUnion NullCodec (BoolCodec Nothing)) :|
                 []))
           (Just _)
           (Just "ANY")
           (Just "Whether to be polite"))))