I can’t help to bring back the documentation of interface for abstract types topic. Having to dive in source code as your trial and error strategy proposal suggests is not really satisfying. I do accept that my concept/interface/traits concerns (Question about abstract type interfaces - #3 by LaurentPlagne) are related with OO way of thinking, but I also note that this question arises regularly.