@unpublished{hinze10,
	author={Hinze, Ralf},
	title={Lifting Operators and Laws},
	year={2010},
	url={http://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf},
	urldate={2015-06-06},
}

@article{mcbride08,
	author={McBride, Conor and Paterson, Ross},
	title={Applicative Programming with Effects},
	journal={Journal of Functional Programming},
	volume={18},
	number={01},
	year={2008},
	pages={1--13},
	doi={10.1017/S0956796807006326},
}

@unpublished{backwards,
  title = "Be Kind, Rewind: A Modest Proposal about Traversal",
  author = "Jeremy Gibbons and Richard Bird",
  year = "2012",
  month = "May",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/backwards.pdf",
}

@inproceedings{HuttonFulger2008TFP,
  author = {Graham Hutton and Diana Fulger},
  title = {Reasoning About Effects: Seeing the Wood Through the Trees},
  booktitle = {Trends in Functional Programming (TFP 2008)},
  year = 2008,
}

@inproceedings{GibbonsHinze2011ICFP,
  author = {Jeremy Gibbons and Ralf Hinze},
  title = {Just Do It: Simple Monadic Equational Reasoning},
  booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011)},
  year = {2011},
  pages = {2--14},
  doi = {10.1145/2034773.2034777},
  publisher = {ACM},
} 
