pub fn from_or<A: DProp, B: DProp>(f: Or<Not<A>, B>) -> Imply<A, B>
(¬a ∨ b) => (a => b).
(¬a ∨ b) => (a => b)