@misc{indiciae193eb8b02411,
  title = {How to Safely Use Extensionality in Liquid Haskell},
  author = {Niki Vazou and Michael Greenberg},
  year = {2022},
  url = {https://arxiv.org/abs/2103.02177},
  note = {Source identifier: 2103.02177}
}