Lack of packages from Category Theory at Platform

[r0ml]

There are lack of basics packages from Category Theory at Platform.

Some Functors (Contvariant, Profunctors,..), Group (Groupoids, Semigroupoids,..), Comonads(..), some Monads.

Most of not included modules are already collected here:

http://hackage.haskell.org/package/category-extras