{
    "byline": "Posted on",
    "charset": "UTF-8",
    "dir": null,
    "excerpt": "[This is from a paper we\u2019re submitting to the International Conference on Functional Programming (ICFP 2025)][update: the paper was rejected because we included our names, violating anonymity]",
    "lang": null,
    "length": 7065,
    "publishedTime": null,
    "siteName": null,
    "title": ""
}