https://www.recompiled.dev/blog/type-system/ · The post describes how the type system of the React compiler is implemented and used