pipe_into: Pipe into specific formal argument
Description
This rotates the order of the arguments such that the one named
in param_name comes first and then calls the function.
Usage
pipe_into(x, param_name, fun, ...)
Arguments
x
value to be piped into fun
param_name
name of the argument that x should be assigned to
...
further arguments for fun