C->Haskell FFI tool that gives some cross-language type safety - View it on GitHub