I want an Erlang node written in Haskell. There is code for this... Let's look. erlang-0.2.2 in Hackage: https://hackage.haskell.org/package/erlang-0.2.2/docs/Foreign-Erlang.html https://github.com/poor-a/erlang-ffi some derivative - dont use? https://github.com/joedevivo/erlang-haskell-interface another one: https://hackage.haskell.org/package/hinterface EDIT: Note that this still needs a manual conversion between a generic erlang data type, and any Haskell type structure. Basically, the Haskell part will be its own thing, unless the Erlang type declarations can be mapped directly. That would be the big win: types for quickcheck.