This type can use `id<…>`, and the cast can be `id`.