pub type QuadRef<'a, T, B, L> = Quad<Cow<'a, Id<T, B>>, Cow<'a, Id<T, B>>, Term<Id<T, B>, L>, &'a Id<T, B>>;