Quite specific question about one of your older blog posts: https://www.haskellforall.com/2012/06/gadts.html
Was the encoding for GADTs that exploits Yoneda an intuition of yours or is it present somewhere in the literature as well? I'm asking because I couldn't really find anything. There is paper from 2016 that briefly talks about this encoding but it cites your blog post.
I'd like to learn more, I found also papers about different encodings for GADTs but nothing that exploits Yoneda as you propose.
no, i wasn't familiar with the literature at the time, but you might find the reddit comments section for my post useful:
In particular, there's a comment thread with me and Conor McBride (/u/pigworker) where he picks apart my post that was pretty interesting.