[STRML]

Flowtype works like this out of the box. In my opinion, it's a much better default.

[planede]

Huh, nice! Looking at the documentation[1], I assume this is the difference between "exact object types" and "inexact object types". I though about bringing this up for Python TypedDict, so I'm glad there is an actual precedent.

https://flow.org/en/docs/types/objects/