@misc{indiciaeff375c43afe0,
  title = {Monads and theories},
  author = {John Bourke and Richard Garner},
  year = {2020},
  doi = {10.1016/j.aim.2019.05.016},
  url = {https://arxiv.org/abs/1805.04346},
  note = {Source identifier: 1805.04346}
}