Should We Have Anonymous Structural Types?

In Valerina, the function will work. The function says I need a record with those fields. You can bring them wherever you want. By default, we do structural typing. But if you want, you can opt in to being more restrictive and say, for this function, I only want to accept it has to be just these fields. And I think we should have the right to do so.