Typing

I do it for "modules" because I have a function with this ambiguity but it is globally tedious to do it so I don't plan this modification until I have the ambiguity again. (But I think it is a good idea).