@misc{indiciae3a87cfa164bf,
  title = {A Role for Dependent Types in Haskell (Extended version)},
  author = {Stephanie Weirich and Pritam Choudhury and Antoine Voizard and Richard A. Eisenberg},
  year = {2019},
  url = {https://arxiv.org/abs/1905.13706},
  note = {Source identifier: 1905.13706}
}