[monad.async] added: async_single