Implementing Streams in Haskell

Streams are a higher-level, more straightforward way to think about programs. Haskell is a decent high-level language (which /prog/ seems to have a fetish for), so here's an implementation of streams in Haskell.


delay e = (\ () -> e)
force e = e
streamHead e = head $ force e
streamTail e = tail $ force e
streamNull = delay []
makeStream f l = (f $ head l):(delay $ makeStream f (tail l))

Have fun!

Shouldn't it be

delay e () = e
force e = e ()
streamHead e = head $ force e
streamTail e = tail $ force e
streamNull = delay []
makeStream _ [] = streamNull
makeStream f (h:t) = delay (f h: makeStream f t)

?

Or just, you know, use regular lists. Haskell is lazy, after all.