Create state_example.hs