Proof: https://github.com/tweag/asterius and https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc/. About GHC Wasm backend: https://gitlab.haskell.org/ghc/ghc-wasm-meta and https://downloads.haskell.org/ghc/latest/docs/users_guide/wasm.html.