Loading annotation for type-level-typescript.com