"Much better than using static analysis is to have it in the type system" I am not sure there is a distinction. Though it is true that some analyses may be ru

"Much better than using static analysis is to have it in the type system" I am not sure there is a distinction. Though it is true that some analyses may be run by a broader swath of users.