Re: Minor inefficiency in Data.Map and Data.Set?