なるほど、構文的には下のように別れてるんですね trait Example { type Associated; } trait Example<Generic> { }