def convert_all
import cli@0.2.0.0/cli.bend as Cliimport Base
4582def convert_all(~T: Data, ~conv: String -> T, values: List<&2, String>) ->
4583 List<&2, T>:
4584 match values:
4585 case Nil{}: Nil{}
4586 case head <> tail: conv(head) <> convert_all(~T, ~conv, tail)