Is your feature request related to a problem? Please describe.
As of now many functions, and the new choose expression can return different types. Currently the type system has no way of expressing union types. This could greatly help in the type checking as it leads to possible type narrowing features similar to typescript.
Is your feature request related to a problem? Please describe. As of now many functions, and the new choose expression can return different types. Currently the type system has no way of expressing union types. This could greatly help in the type checking as it leads to possible type narrowing features similar to typescript.