Hi Benjamin,
My question is, roughly, is there already an existing framework for incremental evaluation in Haskell?
Simply put, if your computation is a fold/catamorphism, then you can easily take advantage of a generic framework for incremental evaluation.
We haven't actually turned this into a library, but if you're interested, we can discuss doing that.
Regards,
Sean