Exporting Haskell abstract DSL through the FFI.