Embed Rust in Haskell