@misc{indiciae515db3357e86,
  title = {Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc},
  author = {Alex Hubers and J. Garrett Morris},
  year = {2023},
  url = {https://arxiv.org/abs/2307.08759},
  note = {Source identifier: 2307.08759}
}