And Conal Elliott's Compiling to Categories, which I've seen discussed here before http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/comp

And Conal Elliott's Compiling to Categories, which I've seen discussed here before http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/