It's a recurring point is the spectrum of abstraction and the rule of least power. Start constraining your system in specific ways, allows you to give it time potentially desirable properties. I there would be either that be with regard to extensibility or performance optimization, or like a cognitive understanding.