public Object apply(PatternFunction f) {
   return f.caseAttribute(this);
 }