extension<S> Y where T == B<S> は extension<S> X where T == B<S> と同じ意味になると思います。