Hi, I have been reading "On the expressive power of Constructor Classes" by Erik Meijer and Luc Duponcheel, where they describe a categorical prelude for Haskell. I have three questions: The paper refers to a forthcoming RUU Research Report, which is to contain a fuller description of the prelude. Is that report available and where ? Is the code of the prelude available and where ? Would it be feasible to use the categorical prelude to write real programs in a categorical style ? Any answers would be appreciated. Tim
