GEH LC Events - ICFP 2025 1 (1)