pub trait Span<I: Interner>: Copy + Debug + Hash + Eq + TypeFoldable<I> { // Required method fn dummy() -> Self; }