@inproceedings{10.1145/3759164.3759352,
author = {VanDomelen, Grant and Shen, Gan and Kuper, Lindsey and Li, Yao},
title = {Freer Arrows and Why You Need Them in Haskell},
year = {2025},
isbn = {9798400721472},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3759164.3759352},
doi = {10.1145/3759164.3759352},
abstract = {Freer monads are a useful structure commonly used in various domains due to their expressiveness. However, a known issue with freer monads is that they are not amenable to static analysis. This paper explores freer arrows, a relatively expressive structure that is amenable to static analysis. We propose several variants of freer arrows. We conduct a case study on choreographic programming to demonstrate the usefulness of freer arrows in Haskell.},
booktitle = {Proceedings of the 18th ACM SIGPLAN International Haskell Symposium (Haskell ’25), October 12–18, 2025, Singapore, Singapore},
pages = {94–108},
numpages = {15},
keywords = {arrows, choreographic programming, effects, freer monads, profunctors},
location = {Singapore, Singapore},
series = {Haskell '25}
}