Brian Wignall

https://github.com/dag/all-about-monads/blob/master/html/identitymonad.html#L37 : Identity x >>= f == (f x), as is correctly stated on L74.

https://github.com/dag/all-about-monads/blob/master/html/laws.html#L262 : s/algabraic/algebraic

docs update, including ISO date formatting for doc/mockups

2

Two small pieces in this PR: 1. Update to latest output of 'Shake manuals ; stack build', starting from a clean checkout. This was run to ensure environment was working,...