Introduce a finite-collection layer for stateful collections, too.