monoids: fast indexing