Designers of FiniteMap and Set (it's me again), I wish "keysFM" would yield "Set key" rather than "[key]"! Could such an implementation take constant time (by simply ignoring "elts")? (Converting a list to a set and back will sort the list and thus may take more than linear time.) Cheers Christian