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

[Casey McCann]

On Wed, Jun 22, 2011 at 5:00 PM, Alexander Solla <alex.solla at gmail.com> 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.