Algebraic Data Types and Recursion Scheme

An attempt to deliver usefulness of algebraic data types, without requiring almost any prior knowledge.

Erratum:
"exponent types" → "Exponential types" ( throughout the whole video )
08:25 "constructor" → "Default constructor".
08:28 ""Defining a constructor of type is equivalent to defining the type itself" → "'Defining all possible default constructor of a type' is equivalent to defining the type itself"
10:59 "Higher ordered functions" → "Higher order functions"

Music:
"We Always Thought the Future Would Be Kind of Fun" by Chris Zabriskie.