On 28/07/17 00:45, David Feuer wrote: > Unfortunately, this is really awful for sets, hash maps, etc. If this is done at some point, I suppose we could fix `nub` in the same way?