// same as PersistentMap as that is using TreeMap as default
static class PersistentTreeMap<A, B> extends PersistentMap<A, B> {
}