the extension is a defacto type