Peter Douglass writes:

...

Hi, I have a number of questions regarding categories and datatypes. I know that many of the folk in this mailing list could answer these question, but I wonder if there is a more appropriate forum. (i.e. the question are not Haskell specific).

Why don't you try the Types Forum <types@cis.upenn.edu> See also http://www.cis.upenn.edu/~bcpierce/types/

Or, if your questions are more on the categories side, there is also: Categories List The category theory mailing list, moderated by Bob Rosebrugh. http://www.mta.ca/~cat-dist/ Claus