The algebra (and calculus!) of algebraic data types ↗ codewords-test.recurse.com ⊕ May 24, 2025, 4:46 PM