Yes I thought about that, but then it would require allowing function overloads, which adds complexity to the metalanguage. Since the purpose is for documentation, I think it's better to be explicit anyway.