Commandeering techniques from richly typed, functional languages into
Python for fun and profit.

In this episode: Gradual typing and algebraic data types.