[Haskell-cafe] Proposal: new function for lifting