noArgs :: Command -> String -> IP.IdrisParser (Either String Command)
noArgs cmd name = do
    let emptyArgs = do
          P.eof
          return (Right cmd)

    let failure = return (Left $ ":" ++ name ++ " takes no arguments")

    emptyArgs <|> failure
noArgs :: Command -> String -> IP.IdrisParser (Either String Command)
noArgs cmd name = do
    let emptyArgs = do
          P.eof
          return (Right cmd)

    let failure = return (Left $ ":" ++ name ++ " takes no arguments")

    emptyArgs <|> failure
noArgs cmd name = do
    let emptyArgs = do
          P.eof
          return (Right cmd)

    let failure = return (Left $ ":" ++ name ++ " takes no arguments")

    emptyArgs <|> failure