Add Comonad, Extract, Monoid, Semigroup, and Semigroupoid instances.
Merge pull request #4 from joneshf/master

Add Comonad, Extract, Monoid, Semigroup, and Semigroupoid instances.