@misc{indiciaed1068b36ddf5,
  title = {Dijkstra Monads for Free},
  author = {Danel Ahman and Catalin Hritcu and Kenji Maillard and Guido Martinez and Gordon Plotkin and Jonathan Protzenko and Aseem Rastogi and Nikhil Swamy},
  year = {2019},
  url = {https://arxiv.org/abs/1608.06499},
  note = {Source identifier: 1608.06499}
}