io.vavr.render
io.vavr.render.dot
io.vavr.render.swing
io.vavr.render.text