Tagless-Final: Abstraction Without Guilt

Is tagless-final something more than programming with type classes? Can purely functional abstractions be as efficient as bare metal? This talk answers these questions by exploring a practical problem.