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