. . "That is why I am thinking about syntax that makes it mostly unnecessary to the know the types, such as the example I provided." . .