> exhaustive checks for sum types

Linters such as https://golangci-lint.run will do this for you.