While theoretically I accepted with all the points, in practice it is sometimes too bloated to add so many types that are barely distinct. It is sometimes bette

While theoretically I accepted with all the points, in practice it is sometimes too bloated to add so many types that are barely distinct. It is sometimes better to trade safety for simplicity. The trade-off is always hard to make. For instance: should I introduce a branded type for unsigned 32bit integer in TypeScript? type u32 = number & { [U32_BRAND]: never } const u32 = (n: number): u32 => (n >>> 0) as u32 And then to make it hard any use of this type: declare let x, y: u32 y = u32(x + 1)