pub type Imply<T, U> = Rc<dyn Fn(T) -> U>;
Logical IMPLY.
The contravariant product type.
Gets the contravariant product.
Get excluded middle rule.
Creates a product out of two propositions.