George Zahariev

You can use one of the above solutions, or use Flow Enums: https://flow.org/en/docs/enums/

I have a proof of concept working with `for x from xs then ...`

I can't think of a better keyword. `of*` feels to odd to me. Ideas?

`given` sounds too much like it's denoting a predicate - eg. an alias for `when` or something

How would `in` and `of` differ in a `for each`?

Thanks for the report

Technically you can pass in `empty` as the type argument, and `Partial` is `empty`, and `{}` is not a valid value for `empty`

`empty` is a subtype of all types including `interface {}` I agree what you are doing is what seems intuitive however

There is no way to do that currently. What I'm saying is that what we are currently doing is technically correct and safe, however it obviously doesn't align with what...

Can you try replacing your `$ObjMap` with mapped types? https://flow.org/en/docs/types/mapped-types/