Indeed, native row polymorphism + JSON (especially prevalent in the JS ecosystem) is an excellent combination. It also offers notable advantages for variants, thanks to library support.
Regarding laziness, PureScript provides optional lazy evaluation through the Lazy type. Personally, I haven’t missed Haskell’s default lazy evaluation in PureScript. In my opinion, it’s a valid trade-off to enable easier interoperability with foreign languages.