Types are easier to read, reason about and maintain than tests, particularly if it's QA writing the tests instead of engineers.