各要素を拾い出す関数たちです。与えれば良いわけです。これが重要なところです。全てのデータアクセスをこの関数群を通して行えば良いのですから、困ることはありません。続くリストを表現できていることがわかります。あればいいということがわかります。捉えることができます。これによって要素へのアクセスが可能となります。生成規則とみなしてみます。計算することができます。獲得することができます。内部に情報として持っていたということと区別が付きません。アクセサの働きによりCodataと同様の振る舞いをすることがわかります。なるようなCodataを構成できるのです!というわけで、これがCoiterationです。あればCodataを構成できるのです。無限リストを表します。いう自然数の無限列を表すことが出来てることがわかります。考えると、head(s)=1head(tail(s))=1head(tail(tail(s)))=2head(tail(tail(tail(s))))=3head(tail(tail(tail(tail(s)))))=5と、Fibonacci数列を表していることがわかります。