2009/11/12 Heinrich Apfelmus <apfelmus@quantentunnel.de>
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.