It would also be nice to optimize `.map()`, `.filt...

# stdlib

[Marc Knaup]

It would also be nice to optimize .map(), .filter() etc. for empty collections in order to spare the useless allocation 🤔