@article(bartosz,
 author       = {Bryce Clarke and Derek Elkins and Jeremy Gibbons and Fosco Loregi{\`{a}}n and Bartosz Milewski and Emily Pillmore and Mario Rom{\'{a}}n},
 year         = {2020},
 title        = {Profunctor optics, a categorical update},
 journal      = {CoRR},
 volume       = {abs/2001.07488},
 eprint       = {2001.07488},
)
@inproceedings(Day70,
 author       = {Brian Day},
 year         = {1970},
 title        = {On closed categories of functors},
 editor       = {S. MacLane and H. Applegate and M. Barr and B. Day and E. Dubuc and Phreilambud and A. Pultr and R. Street and M. Tierney and S. Swierczkowski},
 booktitle    = {Reports of the Midwest Category Seminar IV},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {1--38},
 doi          = {10.1007/BFb0079385},
)
@misc(mtl,
 author       = {Andy Gill},
 title        = {mtl: Monad classes, using functional dependencies},
 howpublished = {https://hackage.haskell.org/package/mtl},
 note         = {Accessed: 2019-05-28},
)
@inproceedings(Hughes2004,
 author       = {John Hughes},
 year         = {2005},
 title        = {Programming with Arrows},
 booktitle    = {Proceedings of the 5th International Conference on Advanced Functional Programming},
 series       = {AFP'04},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {73--129},
 doi          = {10.1007/11546382\_2},
)
@article(Hasuo,
 author       = {Bart Jacobs and Chris Heunen and Ichiro Hasuo},
 year         = {2009},
 title        = {Categorical semantics for arrows},
 journal      = {Journal of Functional Programming},
 volume       = {19},
 number       = {3-4},
 pages        = {403\IeC{\textendash}438},
 doi          = {10.1017/S0956796809007308},
)
@article(Jaskelioff2014ART,
 author       = {Mauro Jaskelioff and Russell O'Connor},
 year         = {2015},
 title        = {A representation theorem for second-order functionals},
 journal      = {Journal of Functional Programming},
 volume       = {25},
 pages        = {e13},
 doi          = {10.1017/S0956796815000088},
)
@techreport(Jones93composingmonads,
 author       = {Mark P. Jones and Luc Duponcheel},
 year         = {1993},
 title        = {Composing Monads},
 type         = {Technical Report},
)
@misc(kmett,
 author       = {Edward Kmett},
 title        = {lens: Lenses, Folds and Traversals},
 howpublished = {https://hackage.haskell.org/package/lens},
 note         = {Accessed: 2019-05-28},
)
@misc(VL,
 author       = {T van Laarhoven},
 title        = {Where do I get my non-regular types?},
 howpublished = {http://twanvl.nl/blog/haskell/non-regular2},
 note         = {Accessed: 2020-08-08},
)
@misc(operads,
 author       = {Tom Leinster},
 year         = {2003},
 title        = {Higher Operads, Higher Categories},
 eprint       = {math/0305049},
)
@inproceedings(mntr,
 author       = {Sheng Liang and Paul Hudak and Mark Jones},
 year         = {1995},
 title        = {Monad Transformers and Modular Interpreters},
 booktitle    = {Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '95},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {333\IeC{\textendash}343},
 doi          = {10.1145/199448.199528},
)
@article(Lindwad,
 author       = {Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2011},
 title        = {Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {229},
 number       = {5},
 pages        = {97 -- 117},
 doi          = {10.1016/j.entcs.2011.02.018},
 note         = {Proceedings of the Second Workshop on Mathematically Structured Functional Programming (MSFP 2008)},
)
@misc(coend,
 author       = {Fosco Loregian},
 year         = {2020},
 title        = {Coend calculus},
 eprint       = {1501.02503},
)
@article(Mcbride,
 author       = {Conor Mcbride and Ross Paterson},
 year         = {2008},
 title        = {Applicative Programming with Effects},
 journal      = {J. Funct. Program.},
 volume       = {18},
 number       = {1},
 pages        = {1--13},
 doi          = {10.1017/S0956796807006326},
)
@misc(freeMP,
 author       = {Bartosz Milewski},
 title        = {Free Monoidal Profunctors},
 howpublished = {https://bartoszmilewski.com/2018/02/20/free-monoidal-profunctors},
 note         = {Accessed: 2019-10-20},
)
@article(Moggi,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Inf. Comput.},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@misc(connor,
 author       = {Russell O'Connor},
 title        = {Grate: A new kind of Optic},
 howpublished = {https://r6research.livejournal.com/28050.html},
 note         = {Accessed: 2019-02-02},
)
@misc(OconnorBlg,
 author       = {Russell O'Connor},
 title        = {A Representation Theorem for Second-Order Pro-functionals},
 howpublished = {https://r6research.livejournal.com/27858.html},
 note         = {Accessed: 2019-02-01},
)
@article(Wu,
 author       = {Matthew Pickering and Jeremy Gibbons and Nicolas Wu},
 year         = {2017},
 title        = {Profunctor Optics: Modular Data Accessors},
 journal      = {The Art, Science, and Engineering of Programming},
 volume       = {1},
 number       = {2},
 doi          = {10.22152/programming-journal.org/2017/1/7},
)
@article(Jask2017,
 author       = {Exequiel Rivas and Mauro Jaskelioff},
 year         = {2017},
 title        = {Notions of computation as monoids},
 journal      = {Journal of Functional Programming},
 volume       = {27},
 pages        = {e21},
 doi          = {10.1017/S0956796817000132},
)
@article(roman,
 author       = {Mario Rom{\'a}n},
 year         = {2020},
 title        = {Profunctor optics and traversals},
 journal      = {ArXiv},
 volume       = {abs/2001.08045},
)
@inproceedings(Wadler92a,
 author       = {Philip Wadler},
 year         = {1992},
 title        = {The Essence of Functional Programming},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '92},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1\IeC{\textendash}14},
 doi          = {10.1145/143165.143169},
)