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