Indicates that the parameter is a mutable object, and that it is potentially stored somewhere as
a result of calling the function, and that care should thus be taken when mutating that object.
Indicate that the class is a wrapper over a single data field, whose sole purpose is
to establish that the value of the field satisfies some properties.