- Introduction to optics (beginner)
- Discovering functors, monads, and applicative (beginner)
- Type level programming (intermediate)
- Generic programming (advanced)
As far as I know, this is some of the first content in video about the more advanced techniques in the language, like data type promotion or constraint kinds.
I hope you all enjoy it! We're happy to hear any feedback from you :)