There was an experimental language I can't remember where arguments were only named by their type by default, rather than having identifiers. This implicitly di

There was an experimental language I can't remember where arguments were only named by their type by default, rather than having identifiers. This implicitly discourages having multiple parameters of the same type. After I fully processed the idea, I came to like it quite a bit.