Big translation of Elm record physics to Haskell extensible records