People have been asking how can they use the #Emacs cats package. I've prepared an example of term unification with state monad github.com/Fuco1/emacs-ca… and added some more sentences to the readme. If you have questions or some cool examples, share here or on GitHub!
Still working on #Emacs#Elsa generic types... the 80/20 applies brutally here (it's rather more like 95/5) :D The 5% I've finished gives you a lot of milage, but the finishing grind is just brutal. Didn't make a single useful commit in 2 weeks, mostly just reading papers...