[wip] Recursive mapping call without redundant evaluation