> Maybe a useful approach for a language would be to make "colors" a first-class part of the type system and support them in generics, etc. Rust has been tryin

> Maybe a useful approach for a language would be to make "colors" a first-class part of the type system and support them in generics, etc. Rust has been trying to do that with "keyword generics": https://blog.rust-lang.org/inside-rust/2023/02/23/keyword-generics-progress-report-feb-2023/ https://blog.rust-lang.org/inside-rust/2023/02/23/keyword-ge...