Fix typo
Fix typo

Co-authored-by: Andrew Valencik <a21a010e0afcf383e3dc4b7b75dad9623942e1ad@users.noreply.github.com>
typelevel/typelevel.github.com,typelevel/typelevel.github.com,typelevel/typelevel.github.com