<div dir="ltr"><div><a href="http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Applicative.html#t:ZipList">http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Applicative.html#t:ZipList</a><br></div><div><br></div><div>There's a Monoid that matches what the Applicative for ZipList does that seems to be missing.</div><div><br></div><div><div>instance Monoid a => Monoid (ZipList a) where</div><div>  mempty  = pure mempty</div><div>  mappend = liftA2 mappend</div></div><div><br></div><div>It's been brought up before:</div><div><br></div><div><a href="https://mail.haskell.org/pipermail/haskell-cafe/2009-October/067861.html">https://mail.haskell.org/pipermail/haskell-cafe/2009-October/067861.html</a><br></div><div><br></div><div>Not only is it useful when it's the Monoid you want, but it serves an educational purpose for highlighting the relationship between Monoid and Applicative as well.</div><div><br></div><div>Are there any good reasons not to have it?</div><div><br></div><div>I'd like to limit discussion to two weeks.</div><div><br></div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"></div></div></div></div></div>
</div>