Re: [Haskell-cafe] Why aren't there anonymous sum types in Haskell?

On Wed, Jun 22, 2011 at 5:00 PM, Alexander Solla wrote:

You're building up (Either a b) into a monoidal category.  There used to be a package called category-extras for this kind of stuff.  I think it has been broken up.  Does anybody know the status of its replacement(s)?

You probably want to look at Edward Kmett's github: http://github.com/ekmett Also, both bifunctors and monoidal categories seem to now be in the "categories" package, which is on Hackage: http://hackage.haskell.org/package/categories - C.