Haskell FFI Demo