On Tue, Aug 2, 2011 at 7:19 AM, Neal Becker <ndbecker2 at gmail.com> wrote: > I thought this was an interesting article > > http://www.pipeline.com/~hbaker1/Use1Var.html See also: http://en.wikipedia.org/wiki/Uniqueness_type Cheers, Chris