State $ \i -> ((i+1), i)
はどう書くように変更されたのでしょうか