Hacker News Reader

I'd like to see some examples that are more complicated than Bool. Like, how would you encode an integer?

There's a dropdown with examples at the top of the page, but apparently it doesn't show on smaller screens.