proposition: Lemma deprecated_uncurry_curry : forall A B C (f : A -> B -> C) a b, curry (uncurry f) a b = f a b.
proof: Proof. unfold curry, uncurry. reflexivity. Qed.
imports: List String ExtLib.Structures.Monads ExtLib.Core.RelDec