Well, you can "force" some of it ... make an object whose ctor can only succeed if a certain check passes, for example. You'd be using types in a way that pret

Well, you can "force" some of it ... make an object whose ctor can only succeed if a certain check passes, for example. You'd be using types in a way that pretty much no one in C# does (not idiomatic), except for maybe those who are explicitly trying to go for type driven development (for example, people doing things like railway oriented programming).