Comment by enriquto

The man page for getchar is a single, easy to read paragraph. To understand algebraic types you need a couple of textbooks.