Genericsは型の生成で、protocolのassociatedtypeはすでに生成されている型のマッチングで、意味が違うと思う