pub type HierarchyQuery<'a, T> = (&'a Parent<T>, &'a Child<T>);
A query for defininig a compatible subworld for Hierarchy