To do lazyness, you need to accumulate "intermediate computation objects" called thunks. These take space and time to store.

See: https://wiki.haskell.org/index.php?title=Thunk https://wiki.haskell.org/index.php?title=Performance/Strictn...