Shouldn't Double, Float, etc. be instances of Bounded?
I've declared e.g.
instance Bounded Double where
minBound = -(1/0)
maxBound = 1/0
in a module where I needed it and there doesn't seem to be any issue
with the definition...
Frederik
--
http://ofb.net/~frederik/