Am Donnerstag, 14. März 2019, 10:43:42 CET schrieb Julien Fischer: > The standard library doesn't make much use of inst subtyping or other > more advanced features of the mode system. This is in part due to > limitations in the mode checker and in part, simply for historical > reasons. What a pity! Bye, Volker