>>39
datatype 'a inflist = Nil | Cons of 'a * (unit -> 'a inflist)
じゃだめ? (無限というよりは遅延リストだが)