Re: efficiency of FiniteMap and Set