fix lying comment

[Ptival]

Comment was incorrect, the argument remains the full vector of arguments throughout the recursion.

[RyanGlScott]

Almost makes you wonder if argsToRegister should be written like this to make it more obvious what it's doing:

argsToRegister :: forall m. Monad m => V.Vector AnnFunArg -> ArgResolver m ()
argsToRegister args = go 0
  where
    go :: Int -> ArgResolver m ()
    go cnt
      | cnt >= V.length args = pure ()
      | otherwise = do
          let arg = args V.! cnt
          let nm = fromMaybe ("arg" ++ show cnt) (funArgName arg)
          resolveArgType nm (funArgType arg)
          go (cnt + 1)

Whether you find this cleaner or not is up to personal taste. Either way, it's good to correct the comments.

[Ptival]

I was considering it, so I'm going to change it.