@rae: An introduction to Haskell's kinds

Richard Eisenberg introduces Haskell's kind system, explaining why kinds exist and how to add kind signatures to type declarations.

This more introductory video walks through Haskell's kind system, giving a little motivation for why Haskell has kinds at all, and how we can add kind signatures to type declarations. Find me at richarde.dev/ or on Twitter at @RaeHaskell. Index of all videos at richarde.dev/videos.html