#ICFP2025,