module test_state_test import StdEnv, test_state Start :: *World -> Int Start world # state = 10 # (i, state) = store 5 10 15 state # (i, state) = store 10 20 30 state = i