On the "Async/await" wrt IO and FFI, I wonder what Graydon and others think about the Erlang BEAM or the GHC runtime implementation.