icfp25/task.pdf