It's afaict a necessary decision, since unison is designed around the possibility of having multiple versions of the same function referred to be the same name.