A method of modelling state in FunctionalProgrammingLanguage''''''s. See UniqueType.

See also: OnMonads (another way of modelling state).