Is this similar to what the keyword generics initiative wants to accomplish as well? They're using an algebraic effects like system however. It seems they want

Is this similar to what the keyword generics initiative wants to accomplish as well? They're using an algebraic effects like system however. It seems they want to be generic over certain keywords like async and const but there might be a way to be generic over mut as well, so basically a form of higher kinded types for borrowable and clonable structures. https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-generics.html https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-ge...