[Haskell-cafe] Sum and Product do not respect the Monoid laws

[Albert Y. C. Lai]

On 14-09-27 10:02 AM, Carter Schonwald wrote:
> Its approximately transitive. Distances always obey the triangle
> Inequality.  Good enough for geometry.  Also the emphasis is on the
> geometry / distance.

You've got me curious. How do we define "approximately transitive"?

(I am not one of those who want to rid floating point of Eq and Ord, or 
rid of floating point altogether.)