It reduces ambiguity, increasing narrowing specificity by half the room on average. I suspect that efficiency trade off showed up in so many unrelated languages because it was useful. It didn't get more specific because that wasn't useful enough. Languages evolve too.