[Haskell-cafe] derivation of mapP, a parallel, lazy map