This overflows the trait solver today as well as my brain
From When can Traits Depend on Themselves? | Nadri’s musings