Great work - but from my understanding this isn't "The category theory you need to know to be a good programmer in a Haskell like language." It's much more adva

Great work - but from my understanding this isn't "The category theory you need to know to be a good programmer in a Haskell like language." It's much more advanced and It's a "'concise' way to learn category theory for people with a background of programming". At least that was my take from the chapters I've read so far.