On Eq, was Re: [Haskell-cafe] When to use fancy types [Re: NumberTheory library]

[Lennart Augustsson]

Jacques Carette wrote:
> Anyone who thinks that +0 = -0 has never wrestled with a branch cut (and 
> lost...).  Such people have the nasty habit of also thinking that ALL 
> functions are continuous!  You might think they were constructivists or 
> something.
Why would a constructivist think that all functions are continuous?
It makes no sense.

	-- Lennart