Слегка
Я думаю можно создать макрос котороый по "описанию" в compile time будет генерировать тип
Однажды я мечтал сделать по приколу свой субъективно "идеальный" синтаксис Си (конвертировать в АДТ, потом в обычный Си, и пусть gcc его сам компилирует). Но потом понял, что в итоге получается Раст))