cmd_loadto :: String -> IP.IdrisParser (Either String Command)
cmd_loadto name = do
    toline <- fromInteger <$> IP.natural
    f <- P.many P.anySingle
    return (Right (Load f (Just toline)))
cmd_loadto :: String -> IP.IdrisParser (Either String Command)
cmd_loadto name = do
    toline <- fromInteger <$> IP.natural
    f <- P.many P.anySingle
    return (Right (Load f (Just toline)))
cmd_loadto name = do
    toline <- fromInteger <$> IP.natural
    f <- P.many P.anySingle
    return (Right (Load f (Just toline)))