The algebra of algebraic data types (London Haskell talk) | Hacker News Reader