The dreaded M-R

[Johannes Waldmann]

Lennart Augustsson wrote:

> All that said, I think not being able to give a name to a context is
> a real weakness in Haskell.  It's one of the few things that cannot
> be named, and being able to do so would help refactoring and modularity.

definitely. Currently we have to simulate that by

class ( C1 , C2 , ... ) => Context
instance ( C1, C2 , .. ) => Context

(is it equivalent? I hope so)
but it is awkward to duplicate information like that.

best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------