pub trait GenericsOf<I: Interner<GenericsOf = Self>> { // Required method fn count(&self) -> usize; }