Obviously it's possible to write code that compiles while still not meeting requirements. My point is that the by leveraging the type system he was able to off

Obviously it's possible to write code that compiles while still not meeting requirements. My point is that the by leveraging the type system he was able to offload a lot of those checks to compile time rather than runtime.