data Action Counter = Increment Int ... update (Increment n) = do pure $ viewCount (n + 1) viewCount n = do button (Increment n) "Increment"