しかし、そうなると associatedtype と generic protocol の使い分けがむずくなってきますね