Clearly communicates the immutable intent of the type.
Unlike types implementing the Immutable Wrapper pattern, does not need to 'cancel out' mutating methods by issuing a "No Operation" instruction, or throwing a runtime exception when a mutating method is invoked.