The Deficits of Haskell

The shortcomings of Haskell are that it is not expressive enough for like categorical ideas. There are analogous problems in Haskell that I found in C++. In Haskell, well, the fact that you don't have dependent types is very limiting. Yeah, so this is a bit disconnected, but you also mentioned linear types earlier and that you're interested in them. Does that also somehow tie into your second book or is that like sort of an independent area of interest? Yes, I would like to include something about linear types in the book. Right now, I didn't because I'm reading papers that try to model linear types in category theory,. But they are extremely complex.