C->Haskell FFI tool that gives some cross-language type safety
