Upper bound lifted-async for #370
Fix upper bound