This, but depending on how good the type system is and how well it's used most remaining interesting tests may be integration aside from legit things like https

This, but depending on how good the type system is and how well it's used most remaining interesting tests may be integration aside from legit things like https://news.ycombinator.com/item?id=38692634 https://news.ycombinator.com/item?id=38692634