Notes concerning “FP-persistent data structures”