<div>Dan Doel asked me to roll category-extras into&nbsp;my nascent comonad transformer library, and the result is category-extras 0.44.2!</div>
<div>&nbsp;</div>
<div>So since Dan&#39;s release a couple of weeks ago&nbsp;(<a href="http://www.haskell.org/pipermail/haskell-cafe/2008-April/042240.html">http://www.haskell.org/pipermail/haskell-cafe/2008-April/042240.html</a>) we have added:</div>

<div>&nbsp;</div>
<div>
<div>* Comonad Transformers. Context/ContextT, Reader/ReaderT. </div>
<div>* A suite of Bifunctors and combinators in Control.Bifunctor.*&nbsp;-- we attach most of the logic usually associated with a monoidal/comonoidal category to the individual Bifunctor since Hask is a rich category to begin with.</div>

<div>* A suite of Functors and combinators in Control.Functor.* </div></div>
<div>
<div>* Pointed and copointed functors.</div>* Control.Recursion has been broken out into a Control.Morphism.* and recoded to use a simpler distributive law.</div>
<div>* Type Indexed versions of Applicatives, Monads, and Comonads (including Diatchki&#39;s Indexed State and Wadler&#39;s Delimited Continuation Parameterized Monad)</div>
<div>* Parameterized Monads a la Ghani and Johann&#39;s paper ICFP 07 paper, and their Applicative and comonadic dual.</div>
<div>
<div>* Higher-order hylo-, cata- and ana- morphisms. </div>* Higher-order Monads a la Ghani and Johann and their comonadic equivalents.</div>
<div>
<div>* Kan extensions.</div>
<div>* BiKleisli arrows as seen in Uustalu and Vene&#39;s Signals and Comonads and SIGFPE&#39;s recent posts</div></div>
<div>*&nbsp;The Pointer comonad</div>
<div>* Grabbed Iavor Diatchki&#39;s value-supply and rolled it in as Control.Comonad.Supply to make it clearer that it is a comonad, and pave the way towards a Supply comonad transformer</div>
<div>* A richer set of compositions to allow for construction of comonads and monads not only from adjunctions, but also from pre-composition or post-composition of a monad with a pointed functor, and similarly pre-composition and post-composition of a comonad with a copointed functor.</div>

<div>* Generic functor zapping, zipping, unzipping, and cozipping as mentioned recently on <a href="http://comonad.com/reader">http://comonad.com/reader</a></div>
<div>&nbsp;</div>
<div>There is still a lot to do in terms of adding back a lot of the documentation&nbsp;from the original, documenting the extensions and fleshing out all of the definable instances as the concepts have grown exceptionally fine-grained.</div>

<div>&nbsp;</div>
<div>I definitely welcome feedback and additions.</div>
<div>&nbsp;</div>
<div>In particular if you were using a feature that was supported by the old library or is unnatural to program in the current one, let me know.</div>
<div>&nbsp;</div>
<div>My&nbsp;goal is to gather a lot of this esoterica into one place and integrate it into something cohesive.</div>
<div>&nbsp;</div>
<div>HEAD:</div>
<div>haddock&nbsp;<a href="http://comonad.com/haskell/category-extras/dist/doc/html/category-extras/">http://comonad.com/haskell/category-extras/dist/doc/html/category-extras/</a></div>
<div>darcs <a href="http://comonad.com/haskell/category-extras/">http://comonad.com/haskell/category-extras/</a></div>
<div>&nbsp;</div>
<div>Release:</div>
<div>package <a href="http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras-0.44.2">http://hackage.haskell.org/cgi-bin/hackage-scripts/package/category-extras-0.44.2</a></div>
<div>&nbsp;</div>
<div>-Edward Kmett</div>
<div>&nbsp;</div>