That's not true at all. If you could use that implementation in a strict language (which you can't) you could equally-well use it in Haskell.