Just a few days ago our very own Chris Birchall gave a talk at CodeNode regarding tagless final and how that compares to Free Monads.

Check out the full talk here