Reply to Andrei,
Daniel Keep wrote:Maybe map should only take invariant data; that way, it's fairly obvious to the user that you need to pass a block of data that isn't going to be changed under the map's feet.That would reduce map's applicability considerably. Andrei
maybe require an explicit for lazy if the underlying stuff isn't invariant?
