@wilbowma @koronkebitch @atsuzaki @secretasianman dibs for this from ICFP’25.