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/ Regards, Marcin Benke