strict.hs

import Control.Monad.Trans.State.Lazy
import Control.Monad
import Control.Monad.Reader


evalT :: (Monad m) => (b -> m a) -> b -> ([a] ->  [b]) -> m [b]
evalT mf def f = r where
   am = r >>= traverse mf -- ::  m [a]
   bm = fmap f am         -- ::  m [b]
   r = fmap (def:) bm     -- ::  m [b]

-- state monad stucks
stateM n = modify ((+) n) >> get
main = print $ take 10 $ evalState (evalT stateM 0 id) 1

-- reader monad works
readerM n = reader (+n)
main2 = print $ take 10 $ runReader (evalT readerM 0 id) 1