Inexpressible States: The History and Usage of Algebraic Data Types | Hacker News Reader