Functional programming, chapter 5: Type-level functions and type classes Published -- Download video MP4 360p