extension S: Sendable where T: Sendable なら実行時に見えるコンフォーマンス作らないからOKというわけか