On Jul 23, 2010, at 4:35 PM, michael rice wrote: > Why is it called "lift"-ing? Basically, because mathematicians like enlightening metaphors. It is a mathematical term. A "monadic value" has an "underlying" value. To turn a function that works on the underlying value into one that works on a monadic value, you have to lift it.