just args objects, no thunks
just args objects, no thunks

brownplt/LambdaS5,brownplt/LambdaS5,lijunsong/LambdaS5,lijunsong/LambdaS5,lijunsong/LambdaS5,brownplt/LambdaS5,logchi/LambdaS5,logchi/LambdaS5,logchi/LambdaS5