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