Uniqueness type

A unique type in Clean programming language guarantees that an object is used in a single-threaded way, without duplicating references to it.

Related to Linear type[?] and Linear logic[?].