Annotations are a scourge. Automagic extensions you have to understand through years of usage. Go has no such things and you have circled back exactly to the G

Annotations are a scourge. Automagic extensions you have to understand through years of usage. Go has no such things and you have circled back exactly to the GP's point: "There's a ceiling on abstraction". There is no such ceiling in java ime