@misc{indiciaec7ee966fc5cc,
  title = {Dependently Typed Folds for Nested Data Types},
  author = {Peng Fu and Peter Selinger},
  year = {2018},
  url = {https://arxiv.org/abs/1806.05230},
  note = {Source identifier: 1806.05230}
}