> While certainly not the primary reason for why we should support union types, the reason why I brought this proposal forward at this time specifically, is that the lack of union types is a blocker for my pet project of providing comprehensive type annotations for internal functions. Supporting "false" is strictly necessary for this purpose, because it is part of nearly all unions as far as internal functions are concerned. How is that blocked by adding only "bool"?
— Benjamin
