Loading annotation for effectivetypescript.com