This is a great project! I wonder if you could achieve even better integration by using the new support for dynamically loaded C modules coming in Emacs 25.1. It would require a little more boilerplate to get a Haskell library "ready" for inclusion into Emacs, but it should eliminate some of the marshalling overhead in some cases.