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