uncurry -package:basic-prelude -is:exact -package:optics-core 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.)