Loading annotation for idealtype.gq