12 Nov
2009
12 Nov
'09
5 a.m.
2009/11/12 Heinrich Apfelmus
Interestingly, this is different from Control.Monad.State.Strict . The latter never forces the state itself, just the pair constructor of the (result,state) pair.
Yes. This bit me the first time I came across it. I think we need a Control.