pub trait Predicate<I>: Copy + Debug + Hash + Eq + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flagswhere I: Interner<Predicate = Self>,{ }