context index( type T ) {
    T ?+?( T, T );
    T ?-?( T, T );
    const T 0, 1;
};