Ideas around anonymous enum types

Just a quick remark, if enum impl Trait is completely opaque and that anonymous enum can safely implement any safe trait, then there are no differences between fn foo() -> enum impl Trait and fn foo() -> impl Trait (and I prefer the latter).