// TODO: make persistable
sclass MRUAndAllTimeTop<A> {
  MRUCache<A> mru; // most recently used
  MultiSet<A> allTimeTop;
}