It's more similar to "Make invalid states unrepresentable": https://news.ycombinator.com/item?id=40150159