Add laws to Alternative

[Nathan van Doorn]

Proposal: add the following laws to the documentation of
Control.Applicative.Alternative:

   - empty <*> a = empty
   - f <*> empty = empty

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.

Time limit: 1 week

Nathan "Taneb" van Doorn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20131101/893eb4bb/attachment.html>