Fine, go all of the way and check that the argument types are correct as well.