def x = [1, 2, 3, 4, 5, 7, 12, 10];
WriteLine($"x: $x");

def RevMap['a, 'b](l: list['a], f: 'a -> 'b, accumulator): list['b]
{
    match (l)
    {
        | x :: xs => RevMap(xs, f, f(x) :: accumulator)
        | [] => accumulator
    }
}

def f = fun(x) { $"\"$(x + 1)\"" };
def y = RevMap(x, f, []);

как избавиться от подстановки пустого списка в месте вызова?
так же, как в случае не параметро-полиморфного метода не получается