uncurry -package:base-compat-batteries -package:deriving-compat package:singletons

Convert a curried function on Sigma to an uncurried one. Together, currySigma and uncurrySigma witness an isomorphism. (Refer to the documentation for currySigma for more details.)