Type Definition gluon_check::typecheck::HelpError

type HelpError<Id, T = ArcType<Id>> = Help<TypeError<Id, T>, Help>;