In the example there was no talking about floating point numbers. The ordered ty...

		maweki on Oct 28, 2019 \| parent \| context \| favorite \| on: Ask HN: What is the most beautiful piece of code y... In the example there was no talking about floating point numbers. The ordered type _has_ a total ordering as shown by the Ord typeclass restriction.