TL;DR every class has a hidden
using A = A;
type alias in it, pointing to itself. It's called the injected-class-name.