<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 -> m (a, s)), so StateT s (Writer w) a can be regarded as (s -> Writer w a) , which is (s -> ((a,w),s)</div><div>and on the other hand State s (Writer w a) is (s -> ((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>