<@U0BHS1Y07>: `.toList().toMap()` should work fine...
# stdlib
k
@voddan:
.toList().toMap()
should work fine. I agree, it's slightly less efficient comparing to direct copying of a map, but not "very inefficient". Benchmarks are welcome