@misc{indiciae8118c9e802c3,
  title = {One Monad to Prove Them All},
  author = {Sandra Dylus and Jan Christiansen and Finn Teegen},
  year = {2019},
  doi = {10.22152/programming-journal.org/2019/3/8},
  url = {https://arxiv.org/abs/1805.08059},
  note = {Source identifier: 1805.08059}
}