lump uncurrying Chin's generalisation of {uncurrying}. A curried function taking several {tuple}s as arguments can be transformed to take a single tuple containing all the components of the original tuples.
Copyright © 2024 3Dict.net