Use "vector-builder"

[nikita-volkov]

According to the benchmark, it's several times faster than the current implementation and it doesn't require the FoldM abstraction, Fold is enough.

Following are the benchmark results:

benchmarking vector-builder
time                 82.43 μs   (82.16 μs .. 82.84 μs)
                     1.000 R²   (1.000 R² .. 1.000 R²)
mean                 82.79 μs   (82.41 μs .. 83.38 μs)
std dev              1.579 μs   (1.104 μs .. 2.078 μs)
variance introduced by outliers: 14% (moderately inflated)

benchmarking default
time                 217.1 μs   (211.7 μs .. 223.8 μs)
                     0.994 R²   (0.990 R² .. 0.998 R²)
mean                 212.8 μs   (210.2 μs .. 216.8 μs)
std dev              10.99 μs   (6.764 μs .. 16.42 μs)
variance introduced by outliers: 50% (moderately inflated)

[Gabriella439]

Take a look at #89 and let me know if that is what you had in mind