Freer Monads, More Extensible Effects, Oleg Kiselyov, Hiromi Ishii. Extends the notion of extensible syntax to the construction of extensible, composable DSLs.