Merged a draft RFC for effect-generic trait definitions today:

https://rust-lang.github.io/keyword-generics-initiative/explainer/effect-generic-trait-declarations.html

This covers how Rust could make it possible to define traits which are generic over effects. But when implemented must choose whether they implement the effectful version or not.