”データ型の本質は「そのデータに適用できる演算の集合」です。そして、型を制約するのは（つまり絞り込むのは）、その型で利用できる演算の一部だけを考慮するということです。” （『Rustプログラミング完全ガイド』（インプレス）304ページ）
