@Inproceedings{EPTCS207.2, author = {Pir\'og, Maciej}, year = {2016}, title = {Eilenberg--Moore Monoids and Backtracking Monad Transformers}, editor = {Atkey, Robert and Krishnaswami, Neelakantan}, booktitle = {{\rm Proceedings 6th Workshop on} Mathematically Structured Functional Programming, {\rm Eindhoven, Netherlands, 8th April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {207}, publisher = {Open Publishing Association}, pages = {23-56}, doi = {10.4204/EPTCS.207.2}, }