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 https://richarde.dev/ or on Twitter at @RaeHaskell.
Index of all videos at https://richarde.dev/videos.html