where句を書くのはextension、protocolはassociatedtypeに制約を記述します