lump uncurrying

lump uncurrying

Chin's generalisation of uncurrying. A curried functiontaking several tuples as arguments can be transformed totake a single tuple containing all the components of theoriginal tuples.