> two different functions ... have the same implementation Then they are not different functions. > It would seem like there is no way to disambiguate a funct

> two different functions ... have the same implementation Then they are not different functions. > It would seem like there is no way to disambiguate a function apart from its current implementation. Right, that's the whole point. In Unison the name of a function is a hash of its implementation. Change the implementation and you change the identity. > how do you reliably separate the two in this model? There is no way to confuse the two in this model.