"Dependent Types in Haskell" by Stephanie Weirich
38:36
"A Little Taste of Dependent Types" by David Christiansen
45:07
Depending on Types - Stephanie Weirich
1:01:05
Dependent Types - salvation or plague | Lambda Days 2021
17:04
@rae: An introduction to Haskell's kinds
38:19
Haskell is Not For Production and Other Tales
48:34
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
21:57
George Wilson - The Extended Functor Family
1:33:37