. . . . . . "Fully persistent lists with catenation" . . .