Part 2: Haskell - Thinking with types (Chapter 2 - Terms, Types and Kinds)

Looking at the great book by Sandy Maguire “Thinking with types” taken from an original twitch stream which I do here: https://www.twitch.tv/cmdvtv Please purchase the book here https://leanpub.com/thinking-with-types