Contrasting Rust traits with C++20 concepts: https://mcla.ug/blog/cpp20-concepts-are-not-like-rust-traits.html (Rust traits are stricter, which can enable better errors)