Persistant (as in on disk) data

[Dean Herington]

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