Freer Arrows and Why You Need Them in Haskell

Authors: Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li

Venue: 18th ACM SIGPLAN International Symposium on Haskell, Haskell 2025

Talk Paper OA Pre-print Artifact

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.