pub type And<T, U> = (T, U);
Logical AND.
The output type for commuted product.
Commutes product.
Get excluded middle rule.
Creates a product out of two propositions.