Comment by Gadiguibou

You can also often encode those checks in the type system like in the Option example near the start of the article.