Updated README.md to point to the Hackage tutorial
Fixed the link to the tutorial
Added manual proofs for pipe laws as `laws.md`
Monoid instance for ListT

This is trivial, but I found myself defining an orphan instance while writing out some `ListT` combinators.
Merge pull request #93 from michaelt/patch-1

Monoid instance for ListT