トレイト境界　トレイト制約　トレイト要求　トレイト条件　トレイト限定

whereでトレイトを限定しているので指定の自由度は低くなっている