jducoeur

Ah, Free Monads, the new hotness. They're basically all anybody talks about these days, far as I can tell. (Although I just came across a post arguing that they are merely a stepping-stone to the perfect world ahead, which will be based on higher-order Monads. I understood about a quarter of that one.)

I can see the appeal in principle, but so far I'm not adoring the resulting code (in particular, it sounds like things aren't entirely elegant with multiple algebras yet), and as you say, there's a lot of foot-shuffling when you bring up performance...