On 1 October 2011 11:55, Yves Parès <limestrael@gmail.com> wrote:

BTW Heinrich, the

evalState (sequence . repeat . State $ \s -> (s,s+1)) 0

at the end doesn't work anymore. It should be replaced by :

evalState (sequence . repeat . StateT $ \s -> Identity (s,s+1)) 0