added a Semigroup[List]
Foldable
added the The Typeclassopedia from The Monad.Reader Issue 13
adding a test for laws