Haskell FFI presentation