fact: Definition curry `(f : a -> b -> c) (x : (a * b)) : c := match x with (a, b) => f a b end.
imports: Coq.Lists.List Category.Lib Category.Theory.Coq.Functor Category.Theory.Coq.Applicative Category.Theory.Coq.Monad Category.Theory.Coq.Semigroup Category.Theory.Coq.Monoid