uncurry -package:optics-core -package:first-class-families -package:numeric-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.)