docs: public void notifyDenied(TPSReportStatus status, final StatusNotifier notifier) {
          status._switch(new SwitchBlockWithDefault() {
              
              @Override
              public void _case(Denied x) {
                  notifier.notifyDenied();
              }
  
              @Override
              protected void _default(TPSReportStatus x) {
                  // nothing to do if it wasn't denied                
              }
          });
      }