Don’t need the Ord
instance for equality, just Eq
is sufficient. Ord
is for inequalities.
The point of the post is that most mainstream languages don’t provide a way to automatically derive point-wise equality by value, even though it’s pervasively used everywhere. They instead need IDEs to generate the boilerplate rather than the compiler handling it.
There’s no need for a bicameral system. It was a system designed to capitulate to wealthy interests and nothing more.