Init: explores the use of record syntax in type declarations
Init: tests List type example
Init: explores non-exhaustive case expressions
Init: mastering type classes