Talk:Monad transformer

Does it still make sense?

In recent years the attitude towards monad transformers seem to have changed a lot. Categorically, there seem to be no such thing as "monad transformer". The second link in the list of references does explain something about how Moggi narrowed the scope of application to only certain kinds of monads and categories.

I'm a categorist and a programmer, but I never worked with monad transformers. It's a widely-known fact that not all monads commute (some do), so a composition of two monads is not always a monad. Transformers were supposed to alleviate this problem, but how can you solve an unsolvable problem?

So, if somebody who is more familiar with monad transformers could cover this in details, explaining when these monad transformers work and when they don't and can't exist, that would be better for this article.

Vlad Patryshev (talk) 09:30, 28 March 2023 (UTC)