[Haskell-cafe] Re: Proposal for restructuring Number classes

[Aaron Denney]

On 2006-04-08, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> I think that without  dependent types  for a Haskell-like language,  
> it is impossible to propose any adequate and in the same time plainly 
> looking algebraic class system.

Depends on what you count as adequate.  Mostly I don't need
runtime-varying parameters, so, that's not necessary, and the edifice
you've constructed is both overkill and unwieldy.

-- 
Aaron Denney
-><-