On Nov 13, 2013, at 2:41 PM, Gavin Flower <GavinFlower(at)archidevsys(dot)co(dot)nz> wrote:
> Would be possible to have a boolean, such as 'strict' - so that unique & ordered was only imposed when strict was TRUE? Alternately, separate functions to allow the same choice?
It should be a pretty-printing function option, perhaps, but not core to the type itself, IMO.
Best,
David