uncurry -package:basic-prelude -package:barbies -package:classy-prelude 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.)