section-2-welcome-message
section-2-reading-notes
building-compound-types
records
tuples-as-syntactic-sugar
datatype-bindings
case-expressions
useful-datatypes
pattern-matching-so-far
another-expression-example