Is it possible to - detect that a lambda is has-side-effects and that - the map hasn't been used?
Thing is: I'm regularly doing that on purpose.Actually, isn't your closure even weakly pure in your example, because arr is part of the closure and thus an argument to it.