protocolのassociatedtypeに型パラメータを取るのか