Freer Arrows and Why You Need Them in Haskell
Programming Languages
2025-06-17 v1
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.
Cite
@article{arxiv.2506.12212,
title = {Freer Arrows and Why You Need Them in Haskell},
author = {Grant VanDomelen and Gan Shen and Lindsey Kuper and Yao Li},
journal= {arXiv preprint arXiv:2506.12212},
year = {2025}
}
Comments
In submission to the Haskell Symposium 2025