[Haskell-cafe] usage of traversal

[Kim-Ee Yeoh]

On Tue, Sep 23, 2014 at 5:34 PM, Kim-Ee Yeoh <ky3 at atamo.com> wrote:

> Similarly, mapM is a specialization of traverse. Here, two functors are
> involved where one is weakened and the other strengthened.


Wait, that's not right. Both functors are weakened going from mapM to
traverse. They are sharpened going the other way round.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140923/c94d65d9/attachment.html>