sinterface IVarWithPrevAndNext<A, B> extends IVar<A>, IHasPrevAndNext<B> {
}