Three languages, three solutions to “different types, same operation” and three very different opinions about who gets to decide what…