<div dir="ltr">Proposal: add the following laws to the documentation of Control.Applicative.Alternative:<div><ul><li>empty <*> a = empty</li><li>f <*> empty = empty</li></ul><div>These laws correspond to the laws given in MonadPlus- if you take mzero = empty and ap = (<*>), the ones in MonadPlus imply these- and I don't think this proposal should be too controversial.</div>
</div><div><br></div><div>Time limit: 1 week</div><div><br></div><div>Nathan "Taneb" van Doorn</div></div>