On 27 February 2005 10:47, Sven Panne wrote:

OK, let's try to summarize what seems to be the current consensus about more or less conservative & settled extensions to Haskell98:

a) rank 2 type signatures b) polymorphic components for data constructors c) pattern guards d) data declarations with no constructors e) constraints on typeclass methods f) instances on type synonyms g) relaxation of polymorphic recursion

I'd also like to see at least h) exceptions up until the recent discovery of STM, I would have said concurrency too. Cheers, Simon