Making sense of the Haskell type system by Ryan Lemmer at FnConf17
15:47
⚡ Type Level Arithmetic in Haskell - Felix B
19:36
@rae: How to choose between Typeable, Data, and Generic in Haskell
1:33:37
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
1:30:02
GHC's Runtime System - Ben Gamari - 2023 GHC Contributor's Workshop
17:04
@rae: An introduction to Haskell's kinds
1:08:49
Why algebraic data types are important - Bartosz Milewski - code::dive 2018
1:20:21
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
21:57