@SuppressWarnings("unchecked")
  static <C extends Comparable> Cut<C> belowAll() {
    return (Cut<C>) BelowAll.INSTANCE;
  }
@SuppressWarnings("unchecked")
  static <C extends Comparable> Cut<C> belowAll() {
    return (Cut<C>) BelowAll.INSTANCE;
  }
@ SuppressWarnings ( "unchecked" ) static < C extends Comparable > Cut < C > belowAll ( ) { return ( Cut < C > ) BelowAll . INSTANCE ; }
/*
The implementation neither produces nor consumes any non-null instance of type C, so
casting the type parameter is safe.
/ * The implementation neither produces nor consumes any non - null instance of type C so casting the type parameter is safe .