public bool foo <S>(IIncrementable <S> y, T x)
 {
     return(y.Value() == x.Value());
 }