seq := doMap([](1, 2, 4, 6, 10, 12, 16), x, succ(x));