この場合のassociated typeとgenericsは別であるべき、だと思います

3:36 AM

それはそれとして、3.0時代までgenericsはネストした型が作れないとかあったんで、generics無しの場合だけprotocol作れる、と言う時期があっても良いかもしれない。