protocol P { associatedtype Value } protocol Q: P where Value == Int {} このQ を作るのをサボりたいってことですか？