2 Feb
2010
2 Feb
'10
5:04 p.m.
On Tue, Feb 2, 2010 at 11:25 AM, David Menendez
We could avoid that problem by redefining Gen as a state transformer monad.
newtype Gen a = MkGen { unGen :: StdGen -> Int -> (a, StdGen) }
Unfortunately, this makes things like
infinite_xs <- sequence (repeat arbitrary) no longer work, since the state never comes out the other side.
Which is a pretty significant change. -- ryan