The algebra (and calculus!) of algebraic data types
Comments ⌘ Read more