efficiency of FiniteMap and Set