[schaefer]

This comment reads as if there is a clear, contemporary successor for learning pure functional data structures.

Is there? If so, please do share a reference.