>>218
拡張トレイトって、
異なる複数のトレイトをあるトレイトTと同じになるように拡張トレイトで調整して、それら複数のトレイトを同じLIST<T>にトレイトオブジェクト無しに突っ込むとかできたっけ？

あとスーパートレイト～～は実行効率じゃなくて設計時の柔軟性(設計効率)の話だから、vtable云々はあんまり関係ないよ。

>>220
意図は>212の「設計の柔軟性」だから、上位型を早期に確定しないで後付けで部分型を使う反例があればぜひ。
普通はアダプタパターンだけど、言語レベルでサポートしてるの見たことないんだよね。