We published a paper in ICFP ‘23.