About type sharing (mostly) and records (desugaring, mostly)

[atravers]

About records in Haskell - from a quick search on this Discourse, using the term Haskell records:

Haskell records compare Standard ML

SML’s design for records matured around 1986, with a few tweaks in the 1997 standard. SML’s Record syntax is superficially like Haskell: { year = 2023, month = 3, day = 7} : {year : int, month : int, day : int}. (p13 in the standard; : is how SML spells ::.) Similar syntax as Haskell in pattern matching, binding a pattern (possibly including vars) to a label within a record. After that the similarity ends. Its records are: First-class/stand-alone/anonymous – that is, not tied to any data typ…

…does any of that help?