show how to write in the async monad