The assurance you get from the examples in the article are pretty basic, but there are contracts you’ll have a lot of trouble encoding in the type system, like “arguments are integers in ascending order.”