23 Sep
2014
23 Sep
'14
3:40 p.m.
On Tue, Sep 23, 2014 at 5:34 PM, Kim-Ee Yeoh
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