Document infelicities of instance Ord Double and workarounds
Current comment for instance Ord Double
is very much a non-documentation, leaving reader with more questions than answers: what mandated such peculiar definition? what are practical consequences of the lack of reflexivity? are there any workarounds to restore total order?
This MR aims to improve these matters. It covers deviation from IEEE 754 in greater detail and suggests robust workarounds.