Java subinterface & subtype

public interface Pipeline<T extends Stage> {
     public void execute(T stage);
}

public interface BookPipeline extends Pipeline<BookStage> {
     @Override
     public void execute(BookStage stage);
}

rule is an extending class/interface can add behavior, but not reduce it.