Explores how to design a statically typed language that handles optional data and different data types in a simple, familiar way.