-- | A data structure representing the possible command-line
-- options. The CmdArgs library is doing heavy magic beneath the
-- | A data structure representing the possible command-line
-- options. The CmdArgs library is doing heavy magic beneath the