可変個の集合から、直積の集合を作る(その3)

無限リストの直積を列挙するとき、うまくいかないことを昨日のエントリで書いた。これを解決する方法がid:doloopwhile:20100707:1278504056で紹介されている。Clojureやったこと無いけど、良いきっかけかな。今度読んでみる。
無限リストを有限リストに小分けしていくというアプローチで解決してみようと思っているところ。まだコーディングできてないけど。