実質的にはassociatedtypeと同じなのでは

3:18 AM

エイリアス貼るのか実装を持つのかの差はあれど、動きを見た時にそこまで大きく変わるようには思えない