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?