io.vavr.collection.Map.toList()

Sources:

https://docs.vavr.io/

Interoperability Between Java and Vavr:

https://www.baeldung.com/java-vavr

Guide to Collections API in Vavr:

https://www.baeldung.com/vavr-collections

io.vavr.collection.List

io.vavr.collection.Map.toList()