withArgs package:base-prelude

withArgs args act - while executing action act, have getArgs return args.