There are also some blog posts over at Serokell about tagless final in Haskell: https://serokell.io/blog/tagless-final.