Re: name of List.nub function