
30 May
2010
30 May
'10
2:26 p.m.
On Sun, May 30, 2010 at 8:15 PM, Mike Dillon
That second search also shows zipWith in there; I never really thought about zipWith being like liftM2 for the list Monad. I don't believe that's actually true for the normal list Monad, but it should be true of an alternate list Monad along the lines of the Functor and Applicative instances for the ZipList newtype in Control.Applicative.
ZipList does not form a monad. --Max