uncurry type and arguments passed