required for `std::transform()`