← → October 14, 2025 haskell, category theory, programming, catlang