@objmagic added these: https://twitter.com/objmagic/status/927026404331479041

We have one issue with syntactic real estate for empty records. Currently we use {} to represent empty Object, but I don't really think it's used that frequently - we merely needed {} to parse to something so that when people are writing dummy function bodies, it doesn't error. I think {} would be a better candidate for empty record, now that it's supported.
It will take some time for these empty variant types/record types to work their way into the OCaml ecosystem so support for this is low pri right now, but it's good to be aware of it.