Circle-ellipse problem: Subtyping variable-types on the bas… Twetch · November 15, 2019 Circle-ellipse problem: Subtyping variable-types on the basis of value-subtypes