pub type CheckedOf<E, C> = <E as Checkable<C>>::Checked;