fact: Definition uncurry {X Y Z} (f : X -> Y -> Z) (xy : X * Y) : Z := match xy with (x, y) => f x y 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