Call site is tricky because you need safety guarantees about the underlying data for it to be a value type. For example, it needs to be immutable. If you were

Call site is tricky because you need safety guarantees about the underlying data for it to be a value type. For example, it needs to be immutable. If you were to call a function with a site declared value type, the function you call would have to have syntax as well to indicate "this is a value type I'm receiving and not a regular type" so that it doesn't do an illegal operation with the value type.