The Algebra of Algebraic Data Types

Cited as the author's own talk and a way to go deeper on type algebra, with a note that the audio is rough at the start.

A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic. It frames types as numbers obeying algebraic laws.