Did you do anything special to handle anonymous records? For example in https://package.elm-lang.org/packages/ianmackenzie/elm-geometry/latest/Arc2d#with, an anonymous record is used to emulate named arguments, but there’s no corresponding type alias that could be used to determine a name for an OCaml record type (as far as I understand, OCaml requires record types to have names).
I’m not personally looking to move away from Elm, but that’s one of the problems I’ve encountered when I’ve looked at (for example) making a version of elm-geometry for Haskell or OCaml to use on the backend, so I was curious how you’d addressed it.