By order, hopefully
Data Types a la CarteBetter Data Types a la CarteAsymptotic Improvement of Computations over Free Monads- Fusion for Free Efficient Algebraic Effect Handlers
- Effect Handlers in Scope
- Reflection without remorse / Haskell 2014: Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
- Extensible Effects, an alternative to Monad Transformers
- Extensible Effects vs Data Types a la Carte
- Freer Monads, More extensible effects
- Wadler's blog
- Nicer Data Types a la Carte with DefaultSignatures
- Free monad considered harmful
- Are people using Freer monads or still mostly Free monads?
- Free Monad vs Tagless Final
- Two-Level Types and Parameterized Modules
- Building interpreters by composing monads
- Composing monads using coproducts
- Sandy Maguire's blog posts