Am 21.03.2014 18:22, schrieb Carter Schonwald:
lets not talk about this while people are buried with 7.8 release engineering, please :)
there are certainly good ideas in Henning's (amazing) work, HOWEVER, one thing people often forget is that theres more than one valid computational formalization of a given mathematical concept (which itself can often have a multitude of equivalent definitions).
and thats even ignoring the fact that the haddocks are full of readable Qualified names like "classC http://hackage.haskell.org/package/numeric-prelude-0.4.1/docs/Algebra-Algebr... a => C a where" :)
I tried three times to make Haddock show qualifications, but it is really frustrating. Last time I tried I despaired of GHC data structures. Somewhere the qualification must have been recognized by GHC but it is thrown away early and hard to restore.