first-class compile-time getters/setters