另一种Java泛型“不兼容类型”编译错误

public interface Expression<T> {
    int getArity();
    T evaluate();
}

public abstract class Value<T> implements Expression<T> {
    @Override
    public final int getArity() { return 0; }
}

public final class Constant<T> extends Value<T> {
    private final T value;

    /** Parameter constructor of objects of class Constant. */
    public Constant(T val) {
        value = val;
    }

    /** Copy constructor of objects of class Constant. */
    private Constant(Constant instance) {
        value = instance.evaluate();    // Error here.
    }

    @Override
    public T evaluate() { return value; }
}

我认为在使用继承时我没有正确地声明泛型,所以我检查了Oracle’s tutorial,他们写了

interface PayloadList<E,P> extends List<E>

上面的声明使用了相同的泛型类型E,这是我想在我的例子中完成的.似乎假设T来自Constant< T>.与Value< T>中的不同.否则它应该能够合并两个T并看到它是相同的类型.
我怎样才能正确实现我想要实现的目标？

(即,某事物的常数是某物的价值,这是同一事物的表达)