Burning more bridges (mostly numeric ones)

[Henning Thielemann]

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-Algebraic.html#t:C> 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.