pub type CheckNot<T, P> = Check<T, Not<T, P>>;
The negation of Check.
Check
See Check for an example of non-negation.