Isn't the whole article a discussion of the kind of guarantees such an approach (which can also be done in Haskell) cannot provide?

Right, I'm just unsure how valuable those guarantees really are. Especially if I'm extracting an Int out of the type to interface with other code.