No need, you can just look at @FHell’s old posts to see more of their opinions on this topic, e.g.: Protocols/Interfaces/Traits... or: The "what to implement problem"
I think it’s time to put a close timer on this topic. The original topic has long since been eclipsed by a meandering debate about the general utility of typing and of how many additional constraints could be put into the type domain (ala C++), which is a discussion that will never end.