でも例えば
let rec f x = 1 :: f (x + 1);;
これが[1; 2; 3; ...]っていう無限リストになるんなら使い道はありそうだけど
Ocamlで普通のリスト（takeとかが使える形の）で無限リストができるって>>479みたいなものだけですよね。