Can just be `@type HTML`