@misc{indiciae19739679f610,
  title = {A Short Note on Collecting Dependently Typed Values},
  author = {Jan de Muijnck-Hughes},
  year = {2018},
  url = {https://arxiv.org/abs/1808.09234},
  note = {Source identifier: 1808.09234}
}