Haskell records compare Standard ML

So the answer to the questions in your original post:

…then must surely be something like:

…as opposed to:

Q.E.D.

1 Like