[eru]

Maybe.

I'd say there are many different notions of composability. It's partially a matter of taste to elevate one of them to be The One and Only Composability.

But only partially. Partially there are also somewhat objective notions, or at least notions shared between different subjects, of why one thing is more properly composable than another.

Eg it's pretty uncontroversial to say that a program build out of functions composes 'better' than one build from loops and mutable variables.

From a wider point of view the problem with monad composability is exactly that they require a special kind of composability on their elements (join or bind), which makes them less composable with each other.