多くのプログラマは、データ観型の値を操作するコードを書くことを幾分複雑に感じると思います。込み入ったデータ構造を扱う時、しばしば私はデータ型をはじめに使おうとすることがあります。そのデータ構造をモデリングして、データ型を用いてそのデータ構造のいくつかの機能を実装してみるのです。それからそのデータ型を対応するデータ観型に変換し、データ観型として動作するようにその実装を修正します。元にした線形赤黒木の実装を次に示します。これはデータ型からデータ観型への漸進的な翻訳を具体的に説明しています。データ観型を直接用いてプログラミングしようとする際の難易度を大きく減少させることができるのです。宣言とほぼ一致しています。翻訳したものだと指摘したいのです。それに適用して得られる木との関係を捕捉していました。これはまた線形赤黒木でも維持されています。ようによく似た文を作ることができます。このコピーして修正する作業は外見的には難しく見えますが、型検査して起きるエラーメッセージに従えばそのほとんどはかなり単純です。与えられた線形赤黒木から要素を削除する操作を実装することは、読者にとってやりがいのある練習問題でしょう。(viewtype)。