Minor doc additions.
Generalised liftM to work on any type of callable.
Function flipping.
liftM properly forwards parameter.