module ReturnEnBind

import StdEnv, Random

Start = (r1, r2, r3, r4, nullRandomSeed, s1, s2, s3)
	where
		(r1, s1) = som2 nullRandomSeed
		(r2, s2) = som2 s1
		(r3, s3) = som2 s2
		(r4, _) = som2 s3

(bind1) infix 0 :: (St s a) (a -> (St s b)) -> St s b
(bind1) f g = uncurry g o f

som2 :: (RandomSeed -> (Int,RandomSeed))
som2 = (\s -> random s) bind1 (\a -> random (snd a))

seqList1 :: [St s a] -> St s [a]
seqList1 ...