http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html#htoc63
ここの無限リストについて、
「ヴァリアント型をわざわざ使わずに，要素と関数の組で表現することも原理的に可能である」
ってあるんですけど、実際にヴァリアント型を使わずに書くにはどう書いたらいいんですかね。