Как узнать, коммутативна ли монада?

В документации для Control.Monad.List.ListT указано, что он «не дает монаду, если монада аргументов не коммутативна».

1. Как мне узнать, коммутативна ли монада? Есть ли класс типов CommutativeMonad? Должен ли быть?

2. В частности, Control.Monad.RWS.Lazy.RWS коммутативная монада?