Type Alias TypeOf

pub type TypeOf<Context, Tag> = <Context as HasType<Tag>>::Type;