Merge current Typelevel version as of 2022-07-18 - #21

Merge current Typelevel version as of 2022-07-18#21

israelperezglez merged 65 commits into

47degrees:development47degrees/typelevel.github.com:developmentfrom

rossabaker:rebootCopy head branch name to clipboard