Type Definition agnes::label::ElemOf

type ElemOf<T, Label> = <T as LookupElemByLabel<Label>>::Elem;

Type alias for an element (as looked up by Label) from cons-list T.