Teaching, Playing, and Programming: Ten Years of Purely Functional Data Structures