Time to add the Traversable laws to the Documentation

[roconnor at theorem.ca]

On Tue, 30 Oct 2012, Ross Paterson wrote:

> On Mon, Oct 29, 2012 at 04:08:41AM +0000, roconnor at theorem.ca wrote:
>> How about adding the following to the documentation of Traversable:
>
> As it's just documentation, I've taken the liberty of pushing it.

Thanks.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''