Exact types are probably the only thing I still miss after moving away from Flow a few years ago.
100%. Flow always had some great safety features and some complex type combinators. But the churn in the project and lack of non-FB participation made it hard to recommend.