> the number of parameters wrong -- plus once they can overload by arity they'll be pushing to overload by type as well. I disagree, in a language like grace, where "each argument have his name", if the type are different, well, the name would be different too...