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.
