<br clear="all"><div>When I use a State Monad transformer to combine with a Writer Monad</div><div>StateT s (Writer w) a. is it different from composition of State Monad and Writer Monad. It is State s (Writer w a) ?</div>
<div>StateT is defined as (s -&gt; m (a, s)), so StateT s (Writer w) a can be regarded as (s -&gt; Writer w a) , which is (s -&gt; ((a,w),s)</div><div>and on the other hand State s (Writer w a) is (s -&gt; ((a,w),s). I suppose the are similar and if so, what is the point we still get Monad transformers? Thanks</div>
<div><br></div><div><br></div><br>