Я не вижу ничего плохого в этом подходе.
У вас может быть какой-то базовый тип, который можно описать в конкретных терминах. Теперь, просто потому, что объект этого типа может быть далее классифицирован в соответствии с некоторым подтипом, из этого не следует, что все такие подтипы столь же конкретны; они могут, в свою очередь, потребовать дальнейшей конкретизации, как бы.
Пример из реальной жизни:
Person
- бетон (без абстракций)
Sibling: Person
- аннотация
Brother: Sibling
- бетон
Sister: Sibling
- бетон