Aren’t a lot of Haskell types identical to category theory concepts? Monad? The awesome thing about category theory is that so many things are _examples of_ ca

Aren’t a lot of Haskell types identical to category theory concepts? Monad? The awesome thing about category theory is that so many things are _examples of_ category theoretic concepts. I’m sure the types you would use would be too. Then you can jump over to a different language and see the same structure. It gives you a universal vocabulary for how things compose and interact. That’s the powerful part.