There’s a common misconception as to what final tagless, and more specifically, a final encoding is. A common claim I see is that final tagless means coding against typeclasses. The mtl library and code written in MTL style are raised as examples of final tagless. I would like to argue that what people are referring to as final tagless is in fact just coding against an interface and that the novel