cmd_verb :: String -> IP.IdrisParser (Either String Command)
cmd_verb name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (Verbosity i))
cmd_verb :: String -> IP.IdrisParser (Either String Command)
cmd_verb name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (Verbosity i))
cmd_verb name = do
    i <- fromIntegral <$> IP.natural
    P.eof
    return (Right (Verbosity i))