Can we all just call it “type narrowing”? | Dark Hacker News