pub type Quad<T, B> = Quad<Id<T, B>, Id<T, B>, Term<Id<T, B>, Literal<String, T, LanguageTagBuf<Vec<u8, Global>>>>, Id<T, B>>;