Just added slides for my talk "Tagless Final for Humans" to my page of talks:

https://noelwelsh.com/landing/talks/

I gave this talk today at @scalar-conf.com. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.