On Tue, Sep 23, 2014 at 5:34 PM, Kim-Ee Yeoh <ky3@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