Bug in Eq/Ord typeclass documentation?