<div dir="ltr"><div><div>Hi everyone,<br><br>Ed Kmett recently pointed me towards his usage of Backpack to write some code in the tagless final style, and I've been playing with it and riffing on it for a while.  There's a solution to the expression problem in there involving classy Prisms (and now Backpacky Prisms)  that seems pretty neat.<br><br></div><div>I've written it up here:  <a href="https://qfpl.io/posts/backpack-for-initial-and-final-encodings/">https://qfpl.io/posts/backpack-for-initial-and-final-encodings/</a><br><br></div><div>Hopefully some of you find it interesting.<br></div><div><br></div>Cheers,<br><br></div>Dave<br></div>