parseGrover
  :: [String]
  -- ^ Command line arguments, presumably from 'getArgs'
  -> Either (String, [String])
            (ModeResult (Either String Global) Result)
  -- ^ Returns a 'Left' if there are errors, or a 'Right' if there are
  -- no errors.  (In an actual application, further processing of a
  -- 'Right' would be necessary to determine whether all entered
  -- arguments were valid.)
parseGrover = parseModeLine globalOptSpecs modes
parseGrover
  :: [String]
  -- ^ Command line arguments, presumably from 'getArgs'
  -> Either (String, [String])
            (ModeResult (Either String Global) Result)
parseGrover = parseModeLine globalOptSpecs modes
parseGrover = parseModeLine globalOptSpecs modes