Type Definition gluon_check::kindcheck::Error

type Error<I, T = RcType<I>> = UnifyError<KindError<I, T>, ArcKind>;