Polysemy Internals: Freer Interpretations of Higher-Order Effects by Sandy Maguire

This is the first post in a series of implementation details in polysemy — a fast, powerful and low-boilerplate effect-system library. Even if you’re not particularly interested in polysemy, there are some functional pearls here — and a crash course on the history on the implementations of free monads in Haskell.