@inproceedings{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.},
 address = {New York, NY, USA},
 author = {VanDomelen, Grant and Shen, Gan and Kuper, Lindsey and Li, Yao},
 booktitle = {Proceedings of the 18th ACM SIGPLAN International Haskell Symposium (Haskell ’25), October 12–18, 2025, Singapore, Singapore},
 doi = {10.1145/3759164.3759352},
 isbn = {9798400721472},
 keywords = {arrows, choreographic programming, effects, freer monads, profunctors},
 location = {Singapore, Singapore},
 numpages = {15},
 pages = {94–108},
 publisher = {Association for Computing Machinery},
 series = {Haskell '25},
 title = {Freer Arrows and Why You Need Them in Haskell},
 url = {https://doi.org/10.1145/3759164.3759352},
 year = {2025}
}