# types! ah, wonderous types! ## Resources - *Types and Programming Languages* by Benjamin C. Pierce ## algebraic data types ## inductive types - https://en.wikipedia.org/wiki/Inductive_type