Inconsistent typing issue in TypeScript

Question

This typing issue has been baffling me for quite a while. ColumnType is the union of three object types, and isRelationType is a type predicate th