Revisit use of `Arrary.from().map()`

[nexushoratio]

It turns out that Array.from() takes a mapping function, so we should use that and remove the unnecessary intermediate array.

Alas, we cannot do similar for filter().