The picture under the text "Type classes in Cats" here: https://github.com/typelevel/cats/blob/main/docs/typeclasses.md
seems to suggest that Concurrent is a subclass of Async, but here:
https://typelevel.org/cats-effect/docs/typeclasses
exactly the opposite is suggested. Looking at the actual code suggests that the documentation in Cats is incorrect.