You can treat async stuff just like you would treat any other effect like Option or Result. And then let bindings (because Melange supports newer Ocaml) give you similar imperative looking code but not specific to async.