As shown in the intro, for very simple state, we can include it as a parameter on the Action
data Action Counter
= Increment Int
...
update (Increment n) = do
pure $ viewCount (n + 1)
viewCount n = do
button (Increment n) "Increment"
The state is only recorded in the rendered html, so if the user refreshes it will reset