>>9You don't need transformers to work with monads. Rust's type system doesn't support transformers but nearly every interesting Rust program has the Option monad in it, and probably Result too if it does anything useful.
The problem you're whining about is the same as the frameworks problem in JavaScript, an imperative idiot language. Growable languages grow in all directions that do not offer resistance. So with HKTs people write monad transformers, with OO people write frameworks and with FIOC people write
"in Python" at the end of every blog post.