Type Alias TypeOf 

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