Ensures: Res = shared(T, T')