On Saturday, 11 May 2013 at 22:24:38 UTC, Simen Kjaeraas wrote: > I'm not convinced. unique, like const or immutable, is > transitive. If foo > is unique, then so is foo.bar. > That isn't true. Please read microsoft's paper.