impl X for T%( )