WTF are Type Predicates in Typescript?

od Café con Tech