[heavenlyblue]

> drive, intellectual curiosity and desire for a challenge

Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell.

So you may say that learning Haskell is intellectually useful, yet there are more challenging purely theoretic concepts which are more useful than Haskell.

I would go as far as saying that learning Haskell is just a "<smarts> poor man's excuse for not challenging themselves enough in the areas that actually matter".

[tome]

> Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell.

What aspects of a book in abstract algebra introduce you to concepts of type theory, would you say?

[heavenlyblue]

The most basic ones: that objects have certain properties and those properties define how they can interact with other objects. How those properties get preserved under interactions and how one should think about it.