Support traits with supertraits of supertraits