Homomorphic static analysis

Great post! The last section seems to come very close to Conal Elliott’s Compiling to Categories. In fact, I wonder if we take your record of morphisms and use a type class instead if they would be the same.