Post

At a previous job, I needed a truly safe type narrowing system, and I could do it with Flow pretty trivially, but in TS I couldn't figure out how to do it properly. It was messy. And I don't remember the details. I see if I can dig them up later.