I got that, my point is that such composability is rarely better than good old OOP with encapsulation. Enumerating all possible state transitions on object inte

I got that, my point is that such composability is rarely better than good old OOP with encapsulation. Enumerating all possible state transitions on object interface leads to better design than procedural programming (and composable operations are procedural programming).