This section introduces wider functional programming concepts such as different data structures and type theory.