Re: Persistant (as in on disk) data

I recently read the paper "Lazy Dynamic Input/Output in the lazy functional language Clean" (http://www.cs.kun.nl/~clean/download/papers/2002/verm2002-LazyDynamicIO2.pdf). It describes some attractive capabilities with respect to persistence, though the supporting mechanism appears rather complicated. Does anyone with a deeper understanding of these issues have an opinion as to whether similar capabilities could (and should) be provided for Haskell? Dean