ICFP26.CE7