Why allow this annotation to be added manually? What's the desired semantics of `ValueType`?