class
Sq2OPImpl<P extends Pointer<?,?,P>,T1 extends Tok<P>,T2 extends Tok<P>>
default <U extends Tok<P>>Sq2OP<P,T,U>
next(GR<P,U> then)