This is impressive! I am still reading the code but I am definitely going to learn a lot.

I am actually running a project called Type Challenges, the goal of this project is trying to help people learning the type system and write better types for their code. (and we have a few new challenges for TS4.1 waiting for the official release).

Wondering if you are interested in sharing some of the tasks/tips you have faced in writing this project and meta-typing? If so, we would love to have you join us to make writing cool types more accessible to more people. I have sent you the invitation to join the org and it's up to you. Thanks!

Sorry for a bit of spam, feel free to close.