@misc{indiciae864249514fe5,
  title = {Potential Functions as Types},
  author = {Harrison Grodin and Ethan Chu and Runming Li and Jan Hoffmann and Robert Harper},
  year = {2026},
  url = {https://arxiv.org/abs/2607.08547},
  note = {Source identifier: 2607.08547}
}