typeof and in cover simple cases. Proving that an unknown value is really a Post takes several lines, and you want to reuse that proof everywhere, with full narrowing.