Added installation instructions and sample usage of WithF