perform
Record the execution of an action which consumes a value of type R.
Record the execution of an action which consumes a value of type R, and requires an additional argument of type A.
Record the execution of an action which consumes a value of type R, and requires additional arguments of types A and B.