Many Roads to Free Monads
28 Apr 2014
Some discussion on ways that free monads arise, and their use, with connections to category theory.
Monad Transformers and Static Effect Scoping
27 Sep 2013
Some examples about how existing libraries relate to algebraic effects and handlers