static interface IRef<A> extends IVar<A> {
}