@inproceedings{Haskell-2018-OtwaniE,
	author        = "Divesh Otwani and Richard A. Eisenberg",
	booktitle     = "{Proceedings of the 11th International Symposium on Haskell}",
	doi           = "10.1145/3242744.3242754",
	pages         = "106--118",
	publisher     = "{ACM}",
	title         = "{The Thoralf plugin: for your fancy type needs}",
	year          = 2018,
}