Reverted mapK to liftK
Updated documentation