
I have set up a page on the wiki for discussion:
http://www.haskell.org/haskellwiki/Haskell_and_mathematics/Hierarchy
And about a darcs repo for people to patch against:
---------- Forwarded message ----------
From: Simon Marlow
Hi,
There is some movement on the haskell-cafe mailing list to set up a repo to develop a mathematically sound algebraic class hierarchy. I have volunteered to coordinate this.
What is the policy on giving access to darcs.haskell.org http://darcs.haskell.org? Cheers,
Vivian